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 2022-11-07 00:12:09 +01:00
parent 5a18b192ba
commit dfcfa62776
5 changed files with 12 additions and 6 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.

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

@ -79,7 +79,7 @@
double-0: <Test #x"838000000000000000" -0.0>
double1: <Test #x"833ff0000000000000" 1.0>
double2: <Test #x"83fe3cb7b759bf0426" -1.202e300>
double3: <Test #x"83123456789abcdef0" #xd"123456789abcdef0">
double3: <Test #x"83123456789abcdef0" #xd"12 34 56 78 9a bc de f0">
double4: @"Fewer than 16 digits" <ParseError "#xd\"12345678\"">
double5: @"More than 16 digits" <ParseError "#xd\"123456789abcdef012\"">
double6: @"Invalid chars" <ParseError "#xd\"12zz56789abcdef0\"">
@ -89,11 +89,12 @@
double10: @"-NaN" <Test #x"83fff0000000000111" #xd"fff0000000000111">
double11: @"+NaN" <Test #x"837ff0000000000001" #xd"7ff0000000000001">
double12: @"+NaN" <Test #x"837ff0000000000111" #xd"7ff0000000000111">
double13: @"Bad spacing" <ParseError "#xd\"12345 6789abcdef0\"">
float0: <Test #x"8200000000" 0.0f>
float+0: <Test #x"8200000000" +0.0f>
float-0: <Test #x"8280000000" -0.0f>
float1: <Test #x"823f800000" 1.0f>
float2: <Test #x"8212345678" #xf"12345678">
float2: <Test #x"8212345678" #xf"12 34 56 78">
float3: @"Fewer than 8 digits" <ParseError "#xf\"123456\"">
float4: @"More than 8 digits" <ParseError "#xf\"123456789a\"">
float5: @"Invalid chars" <ParseError "#xf\"12zz5678\"">
@ -103,6 +104,7 @@
float9: @"+NaN" <Test #x"827f800111" #xf"7f800111">
float10: @"-NaN" <Test #x"82ff800001" #xf"ff800001">
float11: @"-NaN" <Test #x"82ff800111" #xf"ff800111">
float12: @"Bad spacing" <ParseError "#xf\"12345 678\"">
int-257: <Test #x"a1feff" -257>
int-256: <Test #x"a1ff00" -256>
int-255: <Test #x"a1ff01" -255>

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

@ -79,7 +79,7 @@
double-0: <Test #x"838000000000000000" -0.0>
double1: <Test #x"833ff0000000000000" 1.0>
double2: <Test #x"83fe3cb7b759bf0426" -1.202e300>
double3: <Test #x"83123456789abcdef0" #xd"123456789abcdef0">
double3: <Test #x"83123456789abcdef0" #xd"12 34 56 78 9a bc de f0">
double4: @"Fewer than 16 digits" <ParseError "#xd\"12345678\"">
double5: @"More than 16 digits" <ParseError "#xd\"123456789abcdef012\"">
double6: @"Invalid chars" <ParseError "#xd\"12zz56789abcdef0\"">
@ -89,11 +89,12 @@
double10: @"-NaN" <Test #x"83fff0000000000111" #xd"fff0000000000111">
double11: @"+NaN" <Test #x"837ff0000000000001" #xd"7ff0000000000001">
double12: @"+NaN" <Test #x"837ff0000000000111" #xd"7ff0000000000111">
double13: @"Bad spacing" <ParseError "#xd\"12345 6789abcdef0\"">
float0: <Test #x"8200000000" 0.0f>
float+0: <Test #x"8200000000" +0.0f>
float-0: <Test #x"8280000000" -0.0f>
float1: <Test #x"823f800000" 1.0f>
float2: <Test #x"8212345678" #xf"12345678">
float2: <Test #x"8212345678" #xf"12 34 56 78">
float3: @"Fewer than 8 digits" <ParseError "#xf\"123456\"">
float4: @"More than 8 digits" <ParseError "#xf\"123456789a\"">
float5: @"Invalid chars" <ParseError "#xf\"12zz5678\"">
@ -103,6 +104,7 @@
float9: @"+NaN" <Test #x"827f800111" #xf"7f800111">
float10: @"-NaN" <Test #x"82ff800001" #xf"ff800001">
float11: @"-NaN" <Test #x"82ff800111" #xf"ff800111">
float12: @"Bad spacing" <ParseError "#xf\"12345 678\"">
int-257: <Test #x"a1feff" -257>
int-256: <Test #x"a1ff00" -256>
int-255: <Test #x"a1ff01" -255>

BIN
tests/samples.bin
View File

Binary file not shown.

6
tests/samples.pr
View File

@ -79,7 +79,7 @@
double-0: <Test #x"838000000000000000" -0.0>
double1: <Test #x"833ff0000000000000" 1.0>
double2: <Test #x"83fe3cb7b759bf0426" -1.202e300>
double3: <Test #x"83123456789abcdef0" #xd"123456789abcdef0">
double3: <Test #x"83123456789abcdef0" #xd"12 34 56 78 9a bc de f0">
double4: @"Fewer than 16 digits" <ParseError "#xd\"12345678\"">
double5: @"More than 16 digits" <ParseError "#xd\"123456789abcdef012\"">
double6: @"Invalid chars" <ParseError "#xd\"12zz56789abcdef0\"">
@ -89,11 +89,12 @@
double10: @"-NaN" <Test #x"83fff0000000000111" #xd"fff0000000000111">
double11: @"+NaN" <Test #x"837ff0000000000001" #xd"7ff0000000000001">
double12: @"+NaN" <Test #x"837ff0000000000111" #xd"7ff0000000000111">
double13: @"Bad spacing" <ParseError "#xd\"12345 6789abcdef0\"">
float0: <Test #x"8200000000" 0.0f>
float+0: <Test #x"8200000000" +0.0f>
float-0: <Test #x"8280000000" -0.0f>
float1: <Test #x"823f800000" 1.0f>
float2: <Test #x"8212345678" #xf"12345678">
float2: <Test #x"8212345678" #xf"12 34 56 78">
float3: @"Fewer than 8 digits" <ParseError "#xf\"123456\"">
float4: @"More than 8 digits" <ParseError "#xf\"123456789a\"">
float5: @"Invalid chars" <ParseError "#xf\"12zz5678\"">
@ -103,6 +104,7 @@
float9: @"+NaN" <Test #x"827f800111" #xf"7f800111">
float10: @"-NaN" <Test #x"82ff800001" #xf"ff800001">
float11: @"-NaN" <Test #x"82ff800111" #xf"ff800111">
float12: @"Bad spacing" <ParseError "#xf\"12345 678\"">
int-257: <Test #x"a1feff" -257>
int-256: <Test #x"a1ff00" -256>
int-255: <Test #x"a1ff01" -255>