From 845abbb0404ac15cefeca8b6ac32d9b3f93e5987 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 21 Mar 2019 16:36:46 +0100
Subject: Represent Optional literals more faithfully

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

(limited to 'dhall/src/binary.rs')

diff --git a/dhall/src/binary.rs b/dhall/src/binary.rs
index 9099afc..e8fcdab 100644
--- a/dhall/src/binary.rs
+++ b/dhall/src/binary.rs
@@ -105,16 +105,16 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> {
             }
             [U64(5), t] => {
                 let t = cbor_value_to_dhall(&t)?;
-                OptionalLit(Some(t), None)
+                EmptyOptionalLit(t)
             }
             [U64(5), Null, x] => {
                 let x = cbor_value_to_dhall(&x)?;
-                OptionalLit(None, Some(x))
+                NEOptionalLit(x)
             }
             [U64(5), t, x] => {
                 let x = cbor_value_to_dhall(&x)?;
                 let t = cbor_value_to_dhall(&t)?;
-                OptionalLit(Some(t), Some(x))
+                Annot(rc(NEOptionalLit(x)), t)
             }
             [U64(6), x, y] => {
                 let x = cbor_value_to_dhall(&x)?;
-- 
cgit v1.2.3