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_util.rs | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'dhall/src/grammar_util.rs')

diff --git a/dhall/src/grammar_util.rs b/dhall/src/grammar_util.rs
index c546a13..2250acd 100644
--- a/dhall/src/grammar_util.rs
+++ b/dhall/src/grammar_util.rs
@@ -1,14 +1,7 @@
 use crate::core::{Expr, X};
-use crate::lexer::Builtin;
 
 pub type ParsedExpr<'i> = Expr<'i, X, X>; // FIXME Parse paths and replace the second X with Path
 pub type BoxExpr<'i> = Box<ParsedExpr<'i>>;
 pub type ExprOpFn<'i> = fn(BoxExpr<'i>, BoxExpr<'i>) -> ParsedExpr<'i>;
 pub type ExprListFn<'i> = fn(BoxExpr<'i>, Vec<ParsedExpr<'i>>) -> ParsedExpr<'i>;
 
-pub fn builtin_expr<'i, S, A>(b: Builtin) -> Expr<'i, S, A> {
-    match b {
-        Builtin::Type(t)  => Expr::BuiltinType(t),
-        Builtin::Value(v) => Expr::BuiltinValue(v),
-    }
-}
-- 
cgit v1.2.3