syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity

More tests

This commit is contained in:
Tony Garnock-Jones 2023-11-01 17:09:10 +01:00
parent d4d1919957
commit 8a8facc080
5 changed files with 39 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
implementations/python/tests/samples.bin
View File

Binary file not shown.

13
implementations/python/tests/samples.pr
View File

@ -91,6 +91,12 @@
double+0: <Test #x"87080000000000000000" +0.0>
double-0: <Test #x"87088000000000000000" -0.0>
double1: <Test #x"87083ff0000000000000" 1.0>
double1a: <Test #x"87083ff0000000000000" 1e0>
double1b: <Test #x"87083ff0000000000000" 1.0e0>
double1c: <Test #x"87083ff0000000000000" 1e-0>
double1d: <Test #x"87083ff0000000000000" 1.0e-0>
double1e: <Test #x"87083ff0000000000000" 1e+0>
double1f: <Test #x"87083ff0000000000000" 1.0e+0>
double2: <Test #x"8708fe3cb7b759bf0426" -1.202e300>
double3: <Test #x"8708123456789abcdef0" #xd"12 34 56 78 9a bc de f0">
double4: @"Fewer than 16 digits" <ParseError "#xd\"12345678\"">
@ -111,6 +117,13 @@
float+0: <Test #x"870400000000" +0.0f>
float-0: <Test #x"870480000000" -0.0f>
float1: <Test #x"87043f800000" 1.0f>
float1u: <Test #x"87043f800000" 1.0F>
float1a: <Test #x"87043f800000" 1e0f>
float1b: <Test #x"87043f800000" 1.0e0f>
float1c: <Test #x"87043f800000" 1e-0f>
float1d: <Test #x"87043f800000" 1.0e-0f>
float1e: <Test #x"87043f800000" 1e+0f>
float1f: <Test #x"87043f800000" 1.0e+0f>
float2: <Test #x"870412345678" #xf"12 34 56 78">
float3: @"Fewer than 8 digits" <ParseError "#xf\"123456\"">
float4: @"More than 8 digits" <ParseError "#xf\"123456789a\"">

13
implementations/racket/preserves/preserves/tests/samples.pr
View File

@ -91,6 +91,12 @@
double+0: <Test #x"87080000000000000000" +0.0>
double-0: <Test #x"87088000000000000000" -0.0>
double1: <Test #x"87083ff0000000000000" 1.0>
double1a: <Test #x"87083ff0000000000000" 1e0>
double1b: <Test #x"87083ff0000000000000" 1.0e0>
double1c: <Test #x"87083ff0000000000000" 1e-0>
double1d: <Test #x"87083ff0000000000000" 1.0e-0>
double1e: <Test #x"87083ff0000000000000" 1e+0>
double1f: <Test #x"87083ff0000000000000" 1.0e+0>
double2: <Test #x"8708fe3cb7b759bf0426" -1.202e300>
double3: <Test #x"8708123456789abcdef0" #xd"12 34 56 78 9a bc de f0">
double4: @"Fewer than 16 digits" <ParseError "#xd\"12345678\"">
@ -111,6 +117,13 @@
float+0: <Test #x"870400000000" +0.0f>
float-0: <Test #x"870480000000" -0.0f>
float1: <Test #x"87043f800000" 1.0f>
float1u: <Test #x"87043f800000" 1.0F>
float1a: <Test #x"87043f800000" 1e0f>
float1b: <Test #x"87043f800000" 1.0e0f>
float1c: <Test #x"87043f800000" 1e-0f>
float1d: <Test #x"87043f800000" 1.0e-0f>
float1e: <Test #x"87043f800000" 1e+0f>
float1f: <Test #x"87043f800000" 1.0e+0f>
float2: <Test #x"870412345678" #xf"12 34 56 78">
float3: @"Fewer than 8 digits" <ParseError "#xf\"123456\"">
float4: @"More than 8 digits" <ParseError "#xf\"123456789a\"">

BIN
tests/samples.bin
View File

Binary file not shown.

13
tests/samples.pr
View File

@ -91,6 +91,12 @@
double+0: <Test #x"87080000000000000000" +0.0>
double-0: <Test #x"87088000000000000000" -0.0>
double1: <Test #x"87083ff0000000000000" 1.0>
double1a: <Test #x"87083ff0000000000000" 1e0>
double1b: <Test #x"87083ff0000000000000" 1.0e0>
double1c: <Test #x"87083ff0000000000000" 1e-0>
double1d: <Test #x"87083ff0000000000000" 1.0e-0>
double1e: <Test #x"87083ff0000000000000" 1e+0>
double1f: <Test #x"87083ff0000000000000" 1.0e+0>
double2: <Test #x"8708fe3cb7b759bf0426" -1.202e300>
double3: <Test #x"8708123456789abcdef0" #xd"12 34 56 78 9a bc de f0">
double4: @"Fewer than 16 digits" <ParseError "#xd\"12345678\"">
@ -111,6 +117,13 @@
float+0: <Test #x"870400000000" +0.0f>
float-0: <Test #x"870480000000" -0.0f>
float1: <Test #x"87043f800000" 1.0f>
float1u: <Test #x"87043f800000" 1.0F>
float1a: <Test #x"87043f800000" 1e0f>
float1b: <Test #x"87043f800000" 1.0e0f>
float1c: <Test #x"87043f800000" 1e-0f>
float1d: <Test #x"87043f800000" 1.0e-0f>
float1e: <Test #x"87043f800000" 1e+0f>
float1f: <Test #x"87043f800000" 1.0e+0f>
float2: <Test #x"870412345678" #xf"12 34 56 78">
float3: @"Fewer than 8 digits" <ParseError "#xf\"123456\"">
float4: @"More than 8 digits" <ParseError "#xf\"123456789a\"">