From 63aa21c581933a10b2b1ab96c632c72834cf2115 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 15 Apr 2019 12:22:02 +0200
Subject: Handle empty optionals correctly

Closes #78
---
 dhall_core/src/core.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dhall_core/src/core.rs')

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 7859c73..c0e04ed 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -174,6 +174,10 @@ pub enum ExprF<SubExpr, Label, Note, Embed> {
     EmptyListLit(SubExpr),
     ///  [x, y, z]
     NEListLit(Vec<SubExpr>),
+    /// Deprecated Optional literal form
+    ///  [] : Optional a
+    ///  [x] : Optional a
+    OldOptionalLit(Option<SubExpr>, SubExpr),
     ///  None t
     EmptyOptionalLit(SubExpr),
     ///  Some e
-- 
cgit v1.2.3