summaryrefslogtreecommitdiff
path: root/dhall/src/grammar.lalrpop
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src/grammar.lalrpop')
-rw-r--r--dhall/src/grammar.lalrpop2
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,
};