From 544024abc717f4768fd7bde8327fc2718b5c94e7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 11 Apr 2019 14:01:52 +0200
Subject: `Some` is not a builtin, it's a keyword

Closes #58
---
 dhall_core/src/core.rs    | 1 -
 dhall_core/src/parser.rs  | 1 -
 dhall_core/src/printer.rs | 1 -
 3 files changed, 3 deletions(-)

(limited to 'dhall_core')

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 353e5c3..1c41acc 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -149,7 +149,6 @@ pub enum Builtin {
     Text,
     List,
     Optional,
-    OptionalSome,
     OptionalNone,
     NaturalBuild,
     NaturalFold,
diff --git a/dhall_core/src/parser.rs b/dhall_core/src/parser.rs
index 9d77f52..888f29e 100644
--- a/dhall_core/src/parser.rs
+++ b/dhall_core/src/parser.rs
@@ -41,7 +41,6 @@ impl crate::Builtin {
             "Text" => Some(Text),
             "List" => Some(List),
             "Optional" => Some(Optional),
-            "Some" => Some(OptionalSome),
             "None" => Some(OptionalNone),
             "Natural/build" => Some(NaturalBuild),
             "Natural/fold" => Some(NaturalFold),
diff --git a/dhall_core/src/printer.rs b/dhall_core/src/printer.rs
index 4f56fb6..e756eec 100644
--- a/dhall_core/src/printer.rs
+++ b/dhall_core/src/printer.rs
@@ -426,7 +426,6 @@ impl Display for Builtin {
             Text => "Text",
             List => "List",
             Optional => "Optional",
-            OptionalSome => "Some",
             OptionalNone => "None",
             NaturalBuild => "Natural/build",
             NaturalFold => "Natural/fold",
-- 
cgit v1.2.3