diff options
| author | Nadrieril | 2020-04-11 22:58:02 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-06-25 15:12:09 +0100 |
| commit | 233e17abd5ec68f2a964954fb42c23705e6fa62d (patch) | |
| tree | 8cd07faea6153c52e2a5445a94f72ca383dba7b3 /dhall/tests/parser/success | |
| parent | 9da112a1985124f549254943c81495e637fb43cc (diff) | |
spec: update encoding of floating point values to RFC7049bis
Diffstat (limited to 'dhall/tests/parser/success')
| -rw-r--r-- | dhall/tests/parser/success/unit/DoubleLit16bitB.txt | 1 | ||||
| -rw-r--r-- | dhall/tests/parser/success/unit/DoubleLit32bitB.txt | 1 | ||||
| -rw-r--r-- | dhall/tests/parser/success/unit/DoubleLit64bitB.txt | 1 |
3 files changed, 3 insertions, 0 deletions
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 |