M simple-wide-string.sig +1 -1
@@ 20,6 20,6 @@ signature SIMPLE_WIDE_STRING = sig
val toUtf8 : t -> string
val explodeUtf8 : string -> word list
- val implodeUtf8 : word list -> string
+ val implodeToUtf8 : word list -> string
end
M simple-wide-string.sml +1 -1
@@ 147,7 147,7 @@ structure SimpleWideString :> SIMPLE_WID
fun fromUtf8 s = Vector.fromList (explodeUtf8 s)
val toUtf8 = codepoints_to_string Vector.foldr
- val implodeUtf8 = codepoints_to_string List.foldr
+ val implodeToUtf8 = codepoints_to_string List.foldr
val compare = Vector.collate Word.compare