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

(limited to 'dhall')

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