switch tag from 19 to 9

dhall-lang · May 8, 2019 · 6185c96 · 6185c96
1 parent f69e49b
commit 6185c96
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/standard/binary.md b/standard/binary.md
@@ -513,7 +513,7 @@ Record projection by type is encoded as follows:
 
     encode(t₀) = t₁   encode(T₀) = T₁
     ─────────────────────────────────
-    encode(t₀.(T₀)) = [ 19, t₁, T₁ ]
+    encode(t₀.(T₀)) = [ 9, t₁, T₁ ]
 
 
 ### Unions
@@ -1212,7 +1212,7 @@ Similarly, decode a CBOR array beginning with a `` as a record projection by typ
 
     decode(t₁) = t₀   decode(T₁) = T₀
     ─────────────────────────────────
-    decode([ 19, t₁, T₁]) = t₀.(T₀)
+    decode([ 9, t₁, T₁]) = t₀.(T₀)
 
 
 A decoder MUST NOT attempt to enforce uniqueness of keys.  That is the

diff --git a/tests/normalization/success/unit/RecordProjectionTypeEmptyB.dhall b/tests/normalization/success/unit/RecordProjectionTypeEmptyB.dhall
@@ -1 +1,2 @@
-{=}
+{=}
+
diff --git a/tests/normalization/success/unit/RecordProjectionTypeNonEmptyB.dhall b/tests/normalization/success/unit/RecordProjectionTypeNonEmptyB.dhall
@@ -1 +1,2 @@
-{ a = 10, b = Some 10 }
+{ a = 10, b = Some 10 }
+