From e9f55783091fb1d5c07059be865d9d1fb02d3bfa Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 5 Mar 2019 22:30:34 +0100
Subject: Parse doubles

---
 dhall_parser/build.rs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'dhall_parser/build.rs')

diff --git a/dhall_parser/build.rs b/dhall_parser/build.rs
index 3ca36b5..743aa2d 100644
--- a/dhall_parser/build.rs
+++ b/dhall_parser/build.rs
@@ -38,8 +38,14 @@ fn main() -> std::io::Result<()> {
     let mut file = File::create(pest_path)?;
     writeln!(&mut file, "// AUTO-GENERATED FILE. See build.rs.")?;
     writeln!(&mut file, "{}", abnf_to_pest(&data, &rule_settings)?)?;
-    writeln!(&mut file, "keyword_raw = _{{ let_raw | in_raw | if_raw | then_raw | else_raw }}")?;
-    writeln!(&mut file, "final_expression = {{ SOI ~ complete_expression ~ EOI }}")?;
+    writeln!(&mut file, "keyword_raw = _{{
+        let_raw | in_raw | if_raw | then_raw
+            | else_raw | Infinity_raw | NaN_raw
+    }}")?;
+    writeln!(
+        &mut file,
+        "final_expression = {{ SOI ~ complete_expression ~ EOI }}"
+    )?;
 
     Ok(())
 }
-- 
cgit v1.2.3