diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/grammar.lalrpop | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/grammar.lalrpop b/dhall/src/grammar.lalrpop index 250a45e..1d832b7 100644 --- a/dhall/src/grammar.lalrpop +++ b/dhall/src/grammar.lalrpop @@ -58,7 +58,6 @@ extern { } pub Expr: BoxExpr<'input> = { // exprA - <ExprB> ":" <Expr> => bx(Annot(<>)), ExprB, }; @@ -69,6 +68,7 @@ ExprB: BoxExpr<'input> = { <ExprC> "->" <ExprB> => bx(Pi("_", <>)), Let <Label> <(":" <Expr>)?> "=" <Expr> In <ExprB> => bx(Let(<>)), "[" <a:Elems> "]" ":" <b:ListLike> <c:ExprE> => bx(b(c, a)), + <ExprC> ":" <Expr> => bx(Annot(<>)), ExprC, }; |