You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
LambdaS5's implementation of prim("strlen", str) (which is used in the desugared version of str.length) uses Caml's String.length, which counts the number of bytes of the string.
LambdaS5's implementation of
prim("strlen", str)
(which is used in the desugared version ofstr.length
) uses Caml'sString.length
, which counts the number of bytes of the string.However,
String.length
is supposed to count the number of characters.The two values are the same for pure ASCII strings, but not for other unicode characters.
For instance:
The text was updated successfully, but these errors were encountered: