Merge pull request #42 from Nadrieril/move-to-upstream-grammar

Move to upstream grammar

1 files changed, 0 insertions, 7 deletions

diff --git a/dhall_parser/build.rs b/dhall_parser/build.rs
index 4e75181..615a55c 100644
--- a/dhall_parser/build.rs
+++ b/dhall_parser/build.rs
@@ -42,13 +42,6 @@ fn main() -> std::io::Result<()> {
     )?;
     writeln!(
         &mut file,
-        "keyword = _{{
-            let_ | in_ | if_ | then
-                | else_ | Infinity | NaN
-    }}"
-    )?;
-    writeln!(
-        &mut file,
         "final_expression = ${{ SOI ~ complete_expression ~ EOI }}"
     )?;