Make some annotations optional in AST

1 files changed, 1 insertions, 1 deletions

diff --git a/dhall/src/grammar.lalrpop b/dhall/src/grammar.lalrpop
index 1d832b7..6f87e6e 100644
--- a/dhall/src/grammar.lalrpop
+++ b/dhall/src/grammar.lalrpop
@@ -67,7 +67,7 @@ ExprB: BoxExpr<'input> = {
     If <Expr> Then <ExprB> Else <ExprC> => bx(BoolIf(<>)),
     <ExprC> "->" <ExprB> => bx(Pi("_", <>)),
     Let <Label> <(":" <Expr>)?> "=" <Expr> In <ExprB> => bx(Let(<>)),
-    "[" <a:Elems> "]" ":" <b:ListLike> <c:ExprE> => bx(b(c, a)),
+    "[" <a:Elems> "]" ":" <b:ListLike> <c:ExprE> => bx(b(Some(c), a)),
     <ExprC> ":" <Expr> => bx(Annot(<>)),
     ExprC,
 };