From f610bc0aac5eaa365c95b489fb2d06cab449ec77 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 23 Mar 2019 20:59:07 +0100 Subject: Remove various -raw suffixes --- dhall_parser/build.rs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'dhall_parser/build.rs') 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!( -- cgit v1.2.3