diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2020-05-31 18:29:03 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2020-05-31 18:29:03 -0400 |
| commit | 6cc104634ef64be3be88c1fccbe98208d95d8a1a (patch) | |
| tree | 9001e5333e808808125978a52669a8bff3639438 /tests/jsonTest.ur | |
| parent | 82fde07cef0e41b700b9a30137562eb05f2f2c6d (diff) | |
| parent | c2f1e1096f602b1cbd4531352f3e1ea6d656a186 (diff) | |
Merge branch 'dfsg_clean'
Diffstat (limited to 'tests/jsonTest.ur')
| -rw-r--r-- | tests/jsonTest.ur | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/jsonTest.ur b/tests/jsonTest.ur index 97898de8..bce269bd 100644 --- a/tests/jsonTest.ur +++ b/tests/jsonTest.ur @@ -1,6 +1,7 @@ open Json fun main () : transaction page = return <xml><body> - {[fromJson "[1, 2, 3]" : list int]}<br/> - {[toJson ("hi" :: "bye\"" :: "hehe" :: [])]} + <pre>{[ fromJson "\"\\\\line \/ 1\\nline 2\"" : string ]}</pre><br/> + <pre>{[fromJson "[1, 2, 3]" : list int]}</pre><br/> + <pre>{[toJson ("hi" :: "bye\"" :: "hehe" :: [])]}</pre> </body></xml> |