From 233e17abd5ec68f2a964954fb42c23705e6fa62d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 22:58:02 +0100
Subject: spec: update encoding of floating point values to RFC7049bis

---
 dhall/tests/parser/success/unit/DoubleLit16bitB.txt | 1 +
 dhall/tests/parser/success/unit/DoubleLit32bitB.txt | 1 +
 dhall/tests/parser/success/unit/DoubleLit64bitB.txt | 1 +
 3 files changed, 3 insertions(+)
 create mode 100644 dhall/tests/parser/success/unit/DoubleLit16bitB.txt
 create mode 100644 dhall/tests/parser/success/unit/DoubleLit32bitB.txt
 create mode 100644 dhall/tests/parser/success/unit/DoubleLit64bitB.txt

(limited to 'dhall/tests/parser/success/unit')

diff --git a/dhall/tests/parser/success/unit/DoubleLit16bitB.txt b/dhall/tests/parser/success/unit/DoubleLit16bitB.txt
new file mode 100644
index 0000000..9ad974f
--- /dev/null
+++ b/dhall/tests/parser/success/unit/DoubleLit16bitB.txt
@@ -0,0 +1 @@
+5.5
diff --git a/dhall/tests/parser/success/unit/DoubleLit32bitB.txt b/dhall/tests/parser/success/unit/DoubleLit32bitB.txt
new file mode 100644
index 0000000..f67efa2
--- /dev/null
+++ b/dhall/tests/parser/success/unit/DoubleLit32bitB.txt
@@ -0,0 +1 @@
+5555.5
diff --git a/dhall/tests/parser/success/unit/DoubleLit64bitB.txt b/dhall/tests/parser/success/unit/DoubleLit64bitB.txt
new file mode 100644
index 0000000..f3714c3
--- /dev/null
+++ b/dhall/tests/parser/success/unit/DoubleLit64bitB.txt
@@ -0,0 +1 @@
+55555555555.5
-- 
cgit v1.2.3