summaryrefslogtreecommitdiff
path: root/dhall_parser
diff options
context:
space:
mode:
authorNadrieril2019-03-22 18:12:13 +0100
committerNadrieril2019-03-22 18:12:13 +0100
commit8110651ccf498bcf3f0cd55f3b1730d9972cf254 (patch)
tree2e0b08153582b23bce178f4ca3b945b01ddd6306 /dhall_parser
parent9a8a14ba3863b3bc5e79cd8070d6779451ff8466 (diff)
Handle quoted labels
Diffstat (limited to 'dhall_parser')
-rw-r--r--dhall_parser/build.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_parser/build.rs b/dhall_parser/build.rs
index a07c7e0..fc398ff 100644
--- a/dhall_parser/build.rs
+++ b/dhall_parser/build.rs
@@ -35,7 +35,7 @@ fn main() -> std::io::Result<()> {
writeln!(&mut file)?;
writeln!(
&mut file,
- "simple_label = _{{
+ "simple_label = {{
keyword_raw ~ simple_label_next_char+
| !keyword_raw ~ simple_label_first_char ~ simple_label_next_char*
}}"