From 98e7751fb8deb22685b6991367404515c35f502f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 16:28:48 +0200
Subject: Various parsing tweaks

---
 dhall/src/phase/binary.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dhall/src/phase')

diff --git a/dhall/src/phase/binary.rs b/dhall/src/phase/binary.rs
index f88eee2..e44b1e2 100644
--- a/dhall/src/phase/binary.rs
+++ b/dhall/src/phase/binary.rs
@@ -341,7 +341,7 @@ fn cbor_value_to_dhall(
                 let y = cbor_value_to_dhall(&y)?;
                 Annot(x, y)
             }
-            [U64(27), x] => {
+            [U64(28), x] => {
                 let x = cbor_value_to_dhall(&x)?;
                 EmptyListLit(x)
             }
@@ -479,9 +479,9 @@ where
         EmptyListLit(x) => match x.as_ref() {
             App(f, a) => match f.as_ref() {
                 ExprF::Builtin(Builtin::List) => ser_seq!(ser; tag(4), expr(a)),
-                _ => ser_seq!(ser; tag(27), expr(x)),
+                _ => ser_seq!(ser; tag(28), expr(x)),
             },
-            _ => ser_seq!(ser; tag(27), expr(x)),
+            _ => ser_seq!(ser; tag(28), expr(x)),
         },
         NEListLit(xs) => ser.collect_seq(
             once(tag(4)).chain(once(null())).chain(xs.iter().map(expr)),
-- 
cgit v1.2.3