diff options
author | Nadrieril | 2019-03-03 00:08:57 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-03 00:26:23 +0100 |
commit | b7ce3e60770be41d8ccf773541c586c75d2a4e38 (patch) | |
tree | 19fe6bcc070358f2d46a75f5df72adeaba4b08f8 /dhall/src/grammar_util.rs | |
parent | 54d3f23e68bf6e769d8a96e40a2b0c4426e38507 (diff) |
Merge builtins in a single enum
Diffstat (limited to 'dhall/src/grammar_util.rs')
-rw-r--r-- | dhall/src/grammar_util.rs | 7 |
1 files changed, 0 insertions, 7 deletions
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), - } -} |