diff options
| author | Nadrieril | 2019-03-22 18:12:13 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-22 18:12:13 +0100 |
| commit | 8110651ccf498bcf3f0cd55f3b1730d9972cf254 (patch) | |
| tree | 2e0b08153582b23bce178f4ca3b945b01ddd6306 /dhall_parser | |
| parent | 9a8a14ba3863b3bc5e79cd8070d6779451ff8466 (diff) | |
Handle quoted labels
Diffstat (limited to 'dhall_parser')
| -rw-r--r-- | dhall_parser/build.rs | 2 |
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* }}" |