`Some` is not a builtin, it's a keyword

Closes #58

4 files changed, 0 insertions, 4 deletions

diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 608e6ee..93ccdf6 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -23,7 +23,6 @@ where
     use dhall_core::ExprF::*;
     use WhatNext::*;
     let (ret, rest) = match (b, args) {
-        (OptionalSome, [x, rest..]) => (rc(NEOptionalLit(x.roll())), rest),
         (OptionalNone, [t, rest..]) => (rc(EmptyOptionalLit(t.roll())), rest),
         (NaturalIsZero, [NaturalLit(n), rest..]) => {
             (rc(BoolLit(*n == 0)), rest)
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",