diff options
author | Nadrieril | 2019-03-04 18:26:28 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-04 18:26:28 +0100 |
commit | c1c21e3ae53ffdbc639fa950093baa60e710e022 (patch) | |
tree | 90db36bc1eef7756f1b88138a92174cf603adacd /dhall/src/grammar.lalrpop | |
parent | 24d3e235399ef421723cd597fe7a9408c3da54ec (diff) |
Make some annotations optional in AST
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 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, }; |