minor change the nullSubstring function (use string literal for endWith parameter; no need to convert char to string)

This commit is contained in:
2024-11-10 22:02:22 +00:00
parent 6eb74c4332
commit 50a7935612

View File

@@ -2175,10 +2175,8 @@ struct
let
val finish = start + length
val {idx, leftStrings, rightStrings, ...} = buffer
val endWith = Char.chr 0
val endWith = Char.toString endWith
in
sub (start, finish, idx, leftStrings, rightStrings, endWith)
sub (start, finish, idx, leftStrings, rightStrings, "\u0000")
end
fun substring (start, length, buffer : t) =