diff options
author | Nadrieril | 2019-04-04 17:23:36 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-04 17:23:36 +0200 |
commit | 2930da578e6a7847a33aee0d7145552b299e783d (patch) | |
tree | 2e0443a9f7b5c0212cee0a0d91faa8c979c57bb6 /dhall_core | |
parent | ecc39e26a7cf211a5312da468e11f828917e669d (diff) |
rename
Diffstat (limited to 'dhall_core')
-rw-r--r-- | dhall_core/src/parser.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dhall_core/src/parser.rs b/dhall_core/src/parser.rs index b7ac3f6..7cbe880 100644 --- a/dhall_core/src/parser.rs +++ b/dhall_core/src/parser.rs @@ -265,7 +265,7 @@ make_parser! { [simple_label(l)] => l, [quoted_label(l)] => l, )); - rule!(unreserved_label<Label>; children!( + rule!(nonreserved_label<Label>; children!( [label(l)] => { if Builtin::parse(&String::from(&l)).is_some() { Err( @@ -540,7 +540,7 @@ make_parser! { )); rule!(lambda_expression<ParsedExpr> as expression; children!( - [unreserved_label(l), expression(typ), expression(body)] => { + [nonreserved_label(l), expression(typ), expression(body)] => { bx(Expr::Lam(l, typ, body)) } )); @@ -561,14 +561,14 @@ make_parser! { )); rule!(let_binding<(Label, Option<ParsedExpr>, ParsedExpr)>; children!( - [unreserved_label(name), expression(annot), expression(expr)] => + [nonreserved_label(name), expression(annot), expression(expr)] => (name, Some(annot), expr), - [unreserved_label(name), expression(expr)] => + [nonreserved_label(name), expression(expr)] => (name, None, expr), )); rule!(forall_expression<ParsedExpr> as expression; children!( - [unreserved_label(l), expression(typ), expression(body)] => { + [nonreserved_label(l), expression(typ), expression(body)] => { bx(Expr::Pi(l, typ, body)) } )); |