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/DoubleLit32bitB.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 dhall/tests/parser/success/unit/DoubleLit32bitB.txt

(limited to 'dhall/tests/parser/success/unit/DoubleLit32bitB.txt')

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
-- 
cgit v1.2.3