From f502176dca2b0eedd1ae5ff3e8d8e8b5918b4c78 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 3 Mar 2019 20:19:30 +0100
Subject: Parse more of the AST

---
 dhall/src/grammar.lalrpop | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/src/grammar.lalrpop')

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,
 };
 
-- 
cgit v1.2.3