Handle v elements in JSON simplify (#268)

`(v: <value>)` may be used in some cases to encode arbitrarily-typed values (a play on the `%v` verb in Go string templating).
arr-ai · Jan 12, 2023 · 59fd5bc · 59fd5bc
1 parent 8ea26d1
commit 59fd5bc
Show file tree

Hide file tree

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

diff --git a/contrib/json_test.arrai b/contrib/json_test.arrai
@@ -10,7 +10,16 @@ let (:simplify, :tuplify, :decodeSimple, :toJson, :toJsonString, ...) = //{./jso
             's': (s: 'hi'),
             'true': (b: true),
             'false': (b: false),
-        }) = {'a': [1, 2], 's': 'hi', 'true': true, 'false': false},
+            'zero': 0,
+            'date': (v: (ext: 123, loc: {}, wall: 0)),
+        }) = {
+            'a': [1, 2],
+            's': 'hi',
+            'true': true,
+            'false': false,
+            'zero': 0,
+            'date': {'ext': 123, 'loc': {}, 'wall': 0},
+        },
     ),
 
     tuplify: (