Repeat a string: Difference between revisions

m
Line 111:
) : Strptr1 = res where
{
val xs = list_make_elt<string>(n, x)
list_make_elt<string>(n, x)
val res = stringlst_concat($UNSAFE.list_vt2t(xs))
val ((*freed*)) = list_vt_free(xs)
} (* end of [string_repeat] *)
 
Anonymous user