Fix Str.fromUtf8 type annotation

This commit is contained in:
Richard Feldman 2022-11-14 12:02:33 -05:00
parent e6808b3252
commit 2fd968e023
No known key found for this signature in database
GPG key ID: BAF1322FA6809A13

View file

@ -257,7 +257,7 @@ toUtf8 : Str -> List U8
## expect Str.fromUtf8 [240, 159, 144, 166] == Ok "🐦"
## expect Str.fromUtf8 [] == Ok ""
## expect Str.fromUtf8 [255] |> Result.isErr
fromUtf8 : List U8 -> Result Str [BadUtf8 Utf8ByteProblem Nat]*
fromUtf8 : List U8 -> Result Str [BadUtf8 Utf8ByteProblem Nat]
fromUtf8 = \bytes ->
result = fromUtf8RangeLowlevel bytes 0 (List.len bytes)