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/parser.rs | 1 -
 1 file changed, 1 deletion(-)

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

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),
-- 
cgit v1.2.3