summaryrefslogtreecommitdiff
path: root/dhall_core
diff options
context:
space:
mode:
authorNadrieril2019-04-04 17:23:36 +0200
committerNadrieril2019-04-04 17:23:36 +0200
commit2930da578e6a7847a33aee0d7145552b299e783d (patch)
tree2e0443a9f7b5c0212cee0a0d91faa8c979c57bb6 /dhall_core
parentecc39e26a7cf211a5312da468e11f828917e669d (diff)
rename
Diffstat (limited to 'dhall_core')
-rw-r--r--dhall_core/src/parser.rs10
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))
}
));