dhall-json: test for type encoding

Author: amosr-msft

dhall-json/tasty/Main.hs

@@ -34,6 +34,7 @@ testTree =
         , testDhallToJSON "./tasty/data/emptyObjectStrongType"
         , testDhallToJSON "./tasty/data/toArbitraryJSON_12_0_0"
         , testDhallToJSON "./tasty/data/toArbitraryJSON_13_0_0"
+        , testDhallToJSON "./tasty/data/types"
         , testJSONToDhall "./tasty/data/emptyAlternative"
         , testJSONToDhall "./tasty/data/emptyObject"
         , testJSONToDhall "./tasty/data/emptyList"

dhall-json/tasty/data/types.dhall

@@ -0,0 +1,7 @@
+{
+    field: Text,
+    nested: { nested_field: Natural },
+    list: List Bool,
+    optional: Optional Text,
+    union: < A: Natural | B: Text | C >
+}

dhall-json/tasty/data/types.json

@@ -0,0 +1,28 @@
+{
+  "fields": {
+    "field": "Text",
+    "list": {
+      "element": "Bool",
+      "type": "List"
+    },
+    "nested": {
+      "fields": {
+        "nested_field": "Natural"
+      },
+      "type": "Record"
+    },
+    "optional": {
+      "element": "Text",
+      "type": "Optional"
+    },
+    "union": {
+      "choices": {
+        "A": "Natural",
+        "B": "Text",
+        "C": {}
+      },
+      "type": "Union"
+    }
+  },
+  "type": "Record"
+}