Merge remote-tracking branch 'origin/str-fromUtf8' into bytes

This commit is contained in:
Folkert 2021-02-21 20:23:03 +01:00
commit 0297e47fa1

View file

@ -219,7 +219,7 @@ mod solve_expr {
Str.fromInt
"#
),
"Int -> Str",
"Int * -> Str",
);
}
@ -231,7 +231,7 @@ mod solve_expr {
Str.fromUtf8
"#
),
"List U8 -> Result Str [ BadUtf8 Utf8Problem ]*",
"List U8 -> Result Str [ BadUtf8 Utf8ByteProblem Nat ]*",
);
}