From f0c60c01bb078da639efd3aaf33bc2f0ff996169 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 26 Aug 2016 19:26:49 -0400 Subject: Import Json module from old Meta library (thanks to Edward Z. Yang for code contributions) --- tests/jsonTest.ur | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/jsonTest.ur (limited to 'tests/jsonTest.ur') diff --git a/tests/jsonTest.ur b/tests/jsonTest.ur new file mode 100644 index 00000000..97898de8 --- /dev/null +++ b/tests/jsonTest.ur @@ -0,0 +1,6 @@ +open Json + +fun main () : transaction page = return + {[fromJson "[1, 2, 3]" : list int]}
+ {[toJson ("hi" :: "bye\"" :: "hehe" :: [])]} + -- cgit v1.2.3