From b7ce3e60770be41d8ccf773541c586c75d2a4e38 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 3 Mar 2019 00:08:57 +0100
Subject: Merge builtins in a single enum

---
 dhall/src/grammar.lalrpop | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'dhall/src/grammar.lalrpop')

diff --git a/dhall/src/grammar.lalrpop b/dhall/src/grammar.lalrpop
index 150961f..250a45e 100644
--- a/dhall/src/grammar.lalrpop
+++ b/dhall/src/grammar.lalrpop
@@ -5,7 +5,8 @@ use std::iter::FromIterator;
 use crate::core;
 use crate::core::bx;
 use crate::core::Expr::*;
-use crate::core::BuiltinType::*;
+use crate::core::Builtin;
+use crate::core::Builtin::*;
 use crate::grammar_util::*;
 use crate::lexer::*;
 
@@ -120,9 +121,9 @@ ExprF: BoxExpr<'input> = {
     Text => bx(TextLit(<>)),
     Label => bx(Var(core::V(<>, 0))), // FIXME support var@n syntax
     Const => bx(Const(<>)),
-    List => bx(BuiltinType(List)),
-    Optional => bx(BuiltinType(Optional)),
-    Builtin => bx(builtin_expr(<>)),
+    List => bx(Builtin(List)),
+    Optional => bx(Builtin(Optional)),
+    Builtin => bx(Builtin(<>)),
     Bool => bx(BoolLit(<>)),
     Record,
     RecordLit,
-- 
cgit v1.2.3