diff options
| author | NanoTech | 2016-12-06 04:16:26 -0600 |
|---|---|---|
| committer | NanoTech | 2017-03-10 23:48:27 -0600 |
| commit | 8f874e056023a9f91b59a8731ea5ce020904da39 (patch) | |
| tree | 60731da1da7950c9417cca4b2c0eec4c5fe6798e /src/grammar.lalrpop | |
| parent | 7e76e6745ca2eb1dbe78c7503371094e6694fcdf (diff) | |
Parse builtins correctly
Diffstat (limited to 'src/grammar.lalrpop')
| -rw-r--r-- | src/grammar.lalrpop | 2 |
1 files changed, 1 insertions, 1 deletions
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(<>)), "(" <Expr> ")", }; |