Rename Json.format to Json.toUtf8

This commit is contained in:
Richard Feldman 2022-07-17 15:03:18 -04:00
parent 31f7d72ce0
commit 518b21c3f8
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
4 changed files with 26 additions and 26 deletions

View file

@ -6475,7 +6475,7 @@ mod solve_expr {
|> Encode.appendWith (Encode.string "Hello, World!\n") fmt
main =
when Str.fromUtf8 (Encode.toBytes (@HelloWorld {}) Json.format) is
when Str.fromUtf8 (Encode.toBytes (@HelloWorld {}) Json.toUtf8) is
Ok s -> s
_ -> "<bad>"
"#
@ -7157,7 +7157,7 @@ mod solve_expr {
main =
foo = 1
@Go it = (f (@Fo {})) {}
@Go it = (f (@Fo {})) {}
# ^
# ^^^^^^^^^^