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