Fix handling of v attr in JSON simplify (#269)

The value corresponding to a v attr should not be further simplified, merely taken as in.
arr-ai · Jan 12, 2023 · 863b4ae · 863b4ae
1 parent 59fd5bc
commit 863b4ae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/contrib/json.arrai b/contrib/json.arrai
@@ -9,7 +9,7 @@ let rec simplify = \j
         (:b): b,
         (:s): s,
         # May be used in some cases to encode arbitrarily-typed values.
-        (:v): simplify(v),
+        (:v): v,
         (): {},
         _: cond {
             # Base case: j is a number.

diff --git a/contrib/json_test.arrai b/contrib/json_test.arrai
@@ -18,7 +18,7 @@ let (:simplify, :tuplify, :decodeSimple, :toJson, :toJsonString, ...) = //{./jso
             'true': true,
             'false': false,
             'zero': 0,
-            'date': {'ext': 123, 'loc': {}, 'wall': 0},
+            'date': (ext: 123, loc: {}, wall: 0),
         },
     ),