summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2018-04-15 14:46:29 -0400
committerGravatar GitHub <noreply@github.com>2018-04-15 14:46:29 -0400
commite1ae0ce918c234cbb0b5a6ee72e0443bd04d4127 (patch)
treedf350f2ffd18c9848e4679243de395ae42d2b957 /tests
parent0cadb1a719bc515af2449ac966e545a6599aee4d (diff)
parent2bc51bd866b52bc738f259ffe6e9fb8f6068a6b6 (diff)
Merge pull request #122 from majorseitan/master
Handling of JSON escape characters
Diffstat (limited to 'tests')
-rw-r--r--tests/jsonTest.ur1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/jsonTest.ur b/tests/jsonTest.ur
index 97898de8..1be6e7b5 100644
--- a/tests/jsonTest.ur
+++ b/tests/jsonTest.ur
@@ -1,6 +1,7 @@
open Json
fun main () : transaction page = return <xml><body>
+ <pre>{[ fromJson "\"line 1\\nline 2\"" : string ]}</pre><br/>
{[fromJson "[1, 2, 3]" : list int]}<br/>
{[toJson ("hi" :: "bye\"" :: "hehe" :: [])]}
</body></xml>