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/src/dhall.abnf            | 10 +++++++++-
 dhall_parser/src/dhall.pest.visibility |  2 +-
 2 files changed, 10 insertions(+), 2 deletions(-)

(limited to 'dhall_parser/src')

diff --git a/dhall_parser/src/dhall.abnf b/dhall_parser/src/dhall.abnf
index e311aa6..76af24b 100644
--- a/dhall_parser/src/dhall.abnf
+++ b/dhall_parser/src/dhall.abnf
@@ -279,6 +279,7 @@ Optional-raw          = %x4f.70.74.69.6f.6e.61.6c
 Text-raw              = %x54.65.78.74
 List-raw              = %x4c.69.73.74
 Infinity-raw          = %x49.6e.66.69.6e.69.74.79
+NaN-raw               = %x4e.61.4e
 
 ; Whitespaced rules for reserved words, to be used when matching expressions
 if       = if-raw           nonempty-whitespace
@@ -648,7 +649,11 @@ literal-expression-raw =
     / integer-literal-raw
     
     ; "-Infinity"
-    / "-" Infinity-raw
+    / minus-infinity-literal
+    ; "Infinity"
+    / plus-infinity-literal
+    ; "NaN"
+    / NaN-raw
     
     ; '"ABC"'
     / text-literal-raw
@@ -657,6 +662,9 @@ literal-expression-raw =
     ; "x@2"
     / identifier-raw
 
+minus-infinity-literal = "-" Infinity-raw
+plus-infinity-literal = Infinity-raw
+
 ; "{ foo = 1      , bar = True }"
 ; "{ foo : Integer, bar : Bool }"
 record-type-or-literal =
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility
index b3a2660..08171b3 100644
--- a/dhall_parser/src/dhall.pest.visibility
+++ b/dhall_parser/src/dhall.pest.visibility
@@ -37,7 +37,7 @@ single_quote_literal
 # Optional_raw
 # Text_raw
 # List_raw
-Infinity_raw
+# Infinity_raw
 # if_
 # then
 # else_
-- 
cgit v1.2.3