summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-05-02 21:52:52 +0200
committerNadrieril2019-05-02 21:52:52 +0200
commit69d310da1e4c4563ce41424f776879102b62d9a0 (patch)
treefe74a247f0ae61a6f766561a613841dd19f94fb9
parent361aac5379c05b9592fefc2a947d3c7295b5c4ba (diff)
Update dhall-lang submodule
m---------dhall-lang0
-rw-r--r--dhall_core/src/parser.rs122
-rw-r--r--dhall_generated_parser/build.rs7
-rw-r--r--dhall_generated_parser/src/dhall.pest.visibility38
4 files changed, 93 insertions, 74 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 588741c181225bb82eddd325ea1caf105d4745c
+Subproject 64e1ff6b6e27eb5633e2e803fe8f9d2c6e7c624
diff --git a/dhall_core/src/parser.rs b/dhall_core/src/parser.rs
index 637b75e..fcf85bd 100644
--- a/dhall_core/src/parser.rs
+++ b/dhall_core/src/parser.rs
@@ -308,22 +308,9 @@ make_parser! {
rule!(quoted_label<Label>;
captured_str!(s) => Label::from(s.trim().to_owned())
);
- rule!(any_label<(Label, bool)>; children!(
- [simple_label(l)] => (l, false),
- [quoted_label(l)] => (l, true),
- ));
- rule!(nonreserved_label<Label>; children!(
- [simple_label(l)] => {
- if crate::Builtin::parse(&String::from(&l)).is_some() {
- Err(
- "Builtin names are not allowed as bound variables".to_string()
- )?
- }
- l
- },
- [quoted_label(l)] => {
- l
- },
+ rule!(label<Label>; children!(
+ [simple_label(l)] => l,
+ [quoted_label(l)] => l,
));
rule!(double_quote_literal<ParsedText<'a>>; children!(
@@ -438,6 +425,24 @@ make_parser! {
},
));
+ rule!(builtin<ParsedExpr<'a>>; span;
+ captured_str!(s) => {
+ spanned(span, match crate::Builtin::parse(s) {
+ Some(b) => Builtin(b),
+ None => match s {
+ "True" => BoolLit(true),
+ "False" => BoolLit(false),
+ "Type" => Const(crate::Const::Type),
+ "Kind" => Const(crate::Const::Kind),
+ "Sort" => Const(crate::Const::Sort),
+ _ => Err(
+ format!("Unrecognized builtin: '{}'", s)
+ )?,
+ }
+ })
+ }
+ );
+
token_rule!(NaN<()>);
token_rule!(minus_infinity_literal<()>);
token_rule!(plus_infinity_literal<()>);
@@ -477,6 +482,22 @@ make_parser! {
}
);
+ rule!(identifier<ParsedExpr<'a>> as expression; span; children!(
+ [variable(v)] => {
+ spanned(span, Var(v))
+ },
+ [builtin(e)] => e,
+ ));
+
+ rule!(variable<V<Label>>; children!(
+ [label(l), natural_literal(idx)] => {
+ V(l, idx)
+ },
+ [label(l)] => {
+ V(l, 0)
+ },
+ ));
+
rule!(unquoted_path_component<&'a str>; captured_str!(s) => s);
rule!(quoted_path_component<&'a str>; captured_str!(s) => s);
rule!(path_component<String>; children!(
@@ -604,7 +625,7 @@ make_parser! {
token_rule!(in_<()>);
rule!(expression<ParsedExpr<'a>> as expression; span; children!(
- [lambda(()), nonreserved_label(l), expression(typ),
+ [lambda(()), label(l), expression(typ),
arrow(()), expression(body)] => {
spanned(span, Lam(l, rc(typ), rc(body)))
},
@@ -617,7 +638,7 @@ make_parser! {
|acc, x| Let(x.0, x.1, x.2, rc(acc))
)
},
- [forall(()), nonreserved_label(l), expression(typ),
+ [forall(()), label(l), expression(typ),
arrow(()), expression(body)] => {
spanned(span, Pi(l, rc(typ), rc(body)))
},
@@ -632,9 +653,9 @@ make_parser! {
rule!(let_binding<(Label, Option<ParsedSubExpr<'a>>, ParsedSubExpr<'a>)>;
children!(
- [nonreserved_label(name), expression(annot), expression(expr)] =>
+ [label(name), expression(annot), expression(expr)] =>
(name, Some(rc(annot)), rc(expr)),
- [nonreserved_label(name), expression(expr)] =>
+ [label(name), expression(expr)] =>
(name, None, rc(expr)),
));
@@ -779,12 +800,12 @@ make_parser! {
));
rule!(selector<Either<Label, Vec<Label>>>; children!(
- [any_label((l, _))] => Either::Left(l),
+ [label(l)] => Either::Left(l),
[labels(ls)] => Either::Right(ls),
));
rule!(labels<Vec<Label>>; children!(
- [any_label(ls)..] => ls.map(|(l, _)| l).collect(),
+ [label(ls)..] => ls.collect(),
));
rule!(primitive_expression<ParsedExpr<'a>> as expression; span; children!(
@@ -796,47 +817,6 @@ make_parser! {
[expression(e)] => e,
));
- rule!(identifier<ParsedExpr<'a>> as expression; span; children!(
- // Quoted label
- [any_label((l, true)), natural_literal(idx)] => {
- let name = String::from(&l);
- spanned(span, Var(V(l, idx)))
- },
- [any_label((l, true))] => {
- let name = String::from(&l);
- spanned(span, Var(V(l, 0)))
- },
- // Unquoted label; could be a builtin
- [any_label((l, false)), natural_literal(idx)] => {
- let name = String::from(&l);
- spanned(span, match crate::Builtin::parse(name.as_str()) {
- Some(_) => Err(
- "Builtin names cannot have an index".to_string()
- )?,
- None => match name.as_str() {
- "True" | "False" | "Type" | "Kind" | "Sort" => Err(
- "Builtin names cannot have an index".to_string()
- )?,
- _ => Var(V(l, idx)),
- }
- })
- },
- [any_label((l, false))] => {
- let name = String::from(&l);
- spanned(span, match crate::Builtin::parse(name.as_str()) {
- Some(b) => Builtin(b),
- None => match name.as_str() {
- "True" => BoolLit(true),
- "False" => BoolLit(false),
- "Type" => Const(crate::Const::Type),
- "Kind" => Const(crate::Const::Kind),
- "Sort" => Const(crate::Const::Sort),
- _ => Var(V(l, 0)),
- }
- })
- },
- ));
-
rule!(empty_record_literal<ParsedExpr<'a>> as expression; span;
captured_str!(_) => spanned(span, RecordLit(BTreeMap::new()))
);
@@ -847,12 +827,12 @@ make_parser! {
rule!(non_empty_record_type_or_literal<ParsedExpr<'a>> as expression; span;
children!(
- [any_label((first_label, _)), non_empty_record_type(rest)] => {
+ [label(first_label), non_empty_record_type(rest)] => {
let (first_expr, mut map) = rest;
map.insert(first_label, rc(first_expr));
spanned(span, RecordType(map))
},
- [any_label((first_label, _)), non_empty_record_literal(rest)] => {
+ [label(first_label), non_empty_record_literal(rest)] => {
let (first_expr, mut map) = rest;
map.insert(first_label, rc(first_expr));
spanned(span, RecordLit(map))
@@ -867,7 +847,7 @@ make_parser! {
));
rule!(record_type_entry<(Label, ParsedSubExpr<'a>)>; children!(
- [any_label((name, _)), expression(expr)] => (name, rc(expr))
+ [label(name), expression(expr)] => (name, rc(expr))
));
rule!(non_empty_record_literal
@@ -878,7 +858,7 @@ make_parser! {
));
rule!(record_literal_entry<(Label, ParsedSubExpr<'a>)>; children!(
- [any_label((name, _)), expression(expr)] => (name, rc(expr))
+ [label(name), expression(expr)] => (name, rc(expr))
));
rule!(union_type_or_literal<ParsedExpr<'a>> as expression; span; children!(
@@ -899,10 +879,10 @@ make_parser! {
<(Option<(Label, ParsedSubExpr<'a>)>,
BTreeMap<Label, Option<ParsedSubExpr<'a>>>)>;
children!(
- [any_label((l, _)), union_literal_variant_value((e, entries))] => {
+ [label(l), union_literal_variant_value((e, entries))] => {
(Some((l, e)), entries)
},
- [any_label((l, _)), union_type_or_literal_variant_type((e, rest))] => {
+ [label(l), union_type_or_literal_variant_type((e, rest))] => {
let (x, mut entries) = rest;
entries.insert(l, e);
(x, entries)
@@ -918,8 +898,8 @@ make_parser! {
));
rule!(union_type_entry<(Label, Option<ParsedSubExpr<'a>>)>; children!(
- [any_label((name, _)), expression(expr)] => (name, Some(rc(expr))),
- [any_label((name, _))] => (name, None),
+ [label(name), expression(expr)] => (name, Some(rc(expr))),
+ [label(name)] => (name, None),
));
// TODO: unary union variants
diff --git a/dhall_generated_parser/build.rs b/dhall_generated_parser/build.rs
index 615a55c..eab48bf 100644
--- a/dhall_generated_parser/build.rs
+++ b/dhall_generated_parser/build.rs
@@ -27,6 +27,7 @@ fn main() -> std::io::Result<()> {
}
}
rules.remove("simple_label");
+ rules.remove("nonreserved_label");
let mut file = File::create(pest_path)?;
writeln!(&mut file, "// AUTO-GENERATED FILE. See build.rs.")?;
@@ -42,6 +43,12 @@ fn main() -> std::io::Result<()> {
)?;
writeln!(
&mut file,
+ "nonreserved_label = _{{
+ !(builtin ~ !simple_label_next_char) ~ label
+ }}"
+ )?;
+ writeln!(
+ &mut file,
"final_expression = ${{ SOI ~ complete_expression ~ EOI }}"
)?;
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility
index bb0210d..e9236d4 100644
--- a/dhall_generated_parser/src/dhall.pest.visibility
+++ b/dhall_generated_parser/src/dhall.pest.visibility
@@ -16,9 +16,9 @@
simple_label
# quoted_label_char
quoted_label
-# label
-nonreserved_label
-any_label
+label
+# nonreserved_label
+# any_label
double_quote_chunk
double_quote_escaped
double_quote_char
@@ -43,9 +43,40 @@ missing
NaN
Some_
# keyword
+builtin
Optional
Text
List
+# Bool
+# True
+# False
+# None_
+# Natural
+# Integer
+# Double
+# Type
+# Kind
+# Sort
+# Natural_fold
+# Natural_build
+# Natural_isZero
+# Natural_even
+# Natural_odd
+# Natural_toInteger
+# Natural_show
+# Integer_toDouble
+# Integer_show
+# Double_show
+# List_build
+# List_fold
+# List_length
+# List_head
+# List_last
+# List_indexed
+# List_reverse
+# Optional_fold
+# Optional_build
+# Text_show
# combine
# combine_types
# prefer
@@ -60,6 +91,7 @@ double_literal
natural_literal
integer_literal
identifier
+variable
# path_character
# quoted_path_character
unquoted_path_component