diff options
author | Nadrieril | 2019-03-23 20:59:07 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-23 20:59:07 +0100 |
commit | f610bc0aac5eaa365c95b489fb2d06cab449ec77 (patch) | |
tree | bf0a48f4bab5ff0e19508f2e0f8a1f705619343b /dhall_parser/build.rs | |
parent | 5531610efbfb1fd80ccf309148dc423a8e46745f (diff) |
Remove various -raw suffixes
Diffstat (limited to '')
-rw-r--r-- | dhall_parser/build.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dhall_parser/build.rs b/dhall_parser/build.rs index fc398ff..4e75181 100644 --- a/dhall_parser/build.rs +++ b/dhall_parser/build.rs @@ -36,15 +36,15 @@ fn main() -> std::io::Result<()> { writeln!( &mut file, "simple_label = {{ - keyword_raw ~ simple_label_next_char+ - | !keyword_raw ~ simple_label_first_char ~ simple_label_next_char* + keyword ~ simple_label_next_char+ + | !keyword ~ simple_label_first_char ~ simple_label_next_char* }}" )?; writeln!( &mut file, - "keyword_raw = _{{ - let_raw | in_raw | if_raw | then_raw - | else_raw | Infinity_raw | NaN_raw + "keyword = _{{ + let_ | in_ | if_ | then + | else_ | Infinity | NaN }}" )?; writeln!( |