From 8f874e056023a9f91b59a8731ea5ce020904da39 Mon Sep 17 00:00:00 2001 From: NanoTech Date: Tue, 6 Dec 2016 04:16:26 -0600 Subject: Parse builtins correctly --- src/grammar.lalrpop | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/grammar.lalrpop') diff --git a/src/grammar.lalrpop b/src/grammar.lalrpop index 73d1675..8a4ad83 100644 --- a/src/grammar.lalrpop +++ b/src/grammar.lalrpop @@ -97,7 +97,7 @@ ExprF: BoxExpr = { Nat => bx(NaturalLit(<>)), Int => bx(IntegerLit(<>)), Label => bx(Var(core::Var(<>, 0))), // FIXME support var@n syntax - Builtin => bx(Bool), // FIXME + Builtin => bx(builtin_expr(<>)), Bool => bx(BoolLit(<>)), "(" ")", }; -- cgit v1.2.3