steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/core/math/parser/parser-tests.factor

362 lines
11 KiB
Factor
Raw Normal View History

HEX: X.XXXpEEE hexadecimal float literal syntax
2009-09-11 21:11:29 -04:00
USING: kernel literals math math.parser sequences tools.test ;
New convention for unit tests
2008-03-01 17:00:45 -05:00
IN: math.parser.tests
Initial import
2007-09-20 18:09:08 -04:00
[ f ]
[ f string>number ]
unit-test
math.parser: fix digit> bug found by Blei
2010-02-07 16:04:20 -05:00
[ f ]
[ ";" string>number ]
unit-test
[ f ]
[ "<>" string>number ]
unit-test
[ f ]
[ "^" string>number ]
unit-test
[ f ]
[ "789:;<=>?@" string>number ]
unit-test
Initial import
2007-09-20 18:09:08 -04:00
[ f ]
[ "12345abcdef" string>number ]
unit-test
math.parser: support leading + on significand and exponent so string>number can be a proper superset of C strto* functions
2010-02-07 17:21:50 -05:00
[ 12 ]
[ "+12" string>number ]
unit-test
[ -12 ]
[ "-12" string>number ]
unit-test
[ f ]
[ "-+12" string>number ]
unit-test
[ f ]
[ "+-12" string>number ]
Initial import
2007-09-20 18:09:08 -04:00
unit-test
[ f ]
[ "--12" string>number ]
unit-test
[ f ]
[ "-" string>number ]
unit-test
[ f ]
[ "e" string>number ]
unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ 1/2 ] [ "1/2" string>number ] unit-test
[ -1/2 ] [ "-1/2" string>number ] unit-test
[ 2 ] [ "4/2" string>number ] unit-test
[ f ] [ "1/-2" string>number ] unit-test
[ f ] [ "1/2/3" string>number ] unit-test
[ 1+1/2 ] [ "1+1/2" string>number ] unit-test
math.parser: support leading + on significand and exponent so string>number can be a proper superset of C strto* functions
2010-02-07 17:21:50 -05:00
[ 1+1/2 ] [ "+1+1/2" string>number ] unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ f ] [ "1-1/2" string>number ] unit-test
[ -1-1/2 ] [ "-1-1/2" string>number ] unit-test
[ f ] [ "-1+1/2" string>number ] unit-test
[ f ] [ "1+2" string>number ] unit-test
[ f ] [ "1+" string>number ] unit-test
[ f ] [ "1-" string>number ] unit-test
[ f ] [ "1+1/2+2" string>number ] unit-test
require numeric literals to begin and end with a digit/decimal point so that stuff like "," and "1," don't parse as numbers
2009-09-01 22:14:26 -04:00
[ 100000 ] [ "100,000" string>number ] unit-test
allow commas in numeric literals
2009-08-10 19:33:27 -04:00
require numeric literals to begin and end with a digit/decimal point so that stuff like "," and "1," don't parse as numbers
2009-09-01 22:14:26 -04:00
[ 100000.0 ] [ "100,000.0" string>number ] unit-test
[ f ] [ "," string>number ] unit-test
[ f ] [ "-," string>number ] unit-test
[ f ] [ "1," string>number ] unit-test
[ f ] [ "-1," string>number ] unit-test
[ f ] [ ",2" string>number ] unit-test
[ f ] [ "-,2" string>number ] unit-test
[ 2.0 ] [ "2." string>number ] unit-test
math.parser: support leading + on significand and exponent so string>number can be a proper superset of C strto* functions
2010-02-07 17:21:50 -05:00
[ 2.0 ] [ "+2." string>number ] unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ 0.25 ] [ ".25" string>number ] unit-test
[ -2.0 ] [ "-2." string>number ] unit-test
[ -0.25 ] [ "-.25" string>number ] unit-test
[ f ] [ "-." string>number ] unit-test
allow commas in numeric literals
2009-08-10 19:33:27 -04:00
let's not forget about hex literals
2009-09-01 22:28:23 -04:00
[ 255 ] [ "ff" hex> ] unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ 100.0 ] [ "1.0e2" string>number ] unit-test
[ 100.0 ] [ "100.0" string>number ] unit-test
[ 100.0 ] [ "100." string>number ] unit-test
math.parser: add unit tests to ensure that "1e2" parses as 100.0 in decimal and as integer 1E2 in bases >= 15 (it does now)
2010-02-07 16:09:59 -05:00
[ 100.0 ] [ "1e2" string>number ] unit-test
math.parser: support leading + on significand and exponent so string>number can be a proper superset of C strto* functions
2010-02-07 17:21:50 -05:00
[ 100.0 ] [ "1e+2" string>number ] unit-test
use radix literals
2011-11-23 21:49:33 -05:00
[ 0x1e2 ] [ "1e2" hex> ] unit-test
math.parser: add unit tests to ensure that "1e2" parses as 100.0 in decimal and as integer 1E2 in bases >= 15 (it does now)
2010-02-07 16:09:59 -05:00
use radix literals
2011-11-23 21:49:33 -05:00
[ 0x1.999999999999ap-3 ] [ "0.2" string>number ] unit-test
[ 0x1.3333333333333p0 ] [ "1.2" string>number ] unit-test
[ 0x1.5555555555555p0 ] [ "1.333,333,333,333,333,333" string>number ] unit-test
[ 0x1.aaaaaaaaaaaabp0 ] [ "1.666,666,666,666,666,666" string>number ] unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
Initial import
2007-09-20 18:09:08 -04:00
[ "100.0" ]
[ "1.0e2" string>number number>string ]
unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ -100.0 ] [ "-1.0e2" string>number ] unit-test
[ -100.0 ] [ "-100.0" string>number ] unit-test
[ -100.0 ] [ "-100." string>number ] unit-test
Initial import
2007-09-20 18:09:08 -04:00
[ "-100.0" ]
[ "-1.0e2" string>number number>string ]
unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ -100.0 ] [ "-1.e2" string>number ] unit-test
Initial import
2007-09-20 18:09:08 -04:00
[ "0.01" ]
[ "1.0e-2" string>number number>string ]
unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ 0.01 ] [ "1.0e-2" string>number ] unit-test
Initial import
2007-09-20 18:09:08 -04:00
[ "-0.01" ]
[ "-1.0e-2" string>number number>string ]
unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ -0.01 ] [ "-1.0e-2" string>number ] unit-test
[ "-0.01" ]
[ "-1.e-2" string>number number>string ]
unit-test
[ -1.0e-12 ] [ "-1.0e-12" string>number ] unit-test
Tweak unit test
2008-09-20 19:52:39 -04:00
[ t ]
[ "-1.0e-12" string>number number>string { "-1.0e-12" "-1.0e-012" } member? ]
Initial import
2007-09-20 18:09:08 -04:00
unit-test
[ f ]
[ "-1e-2e4" string>number ]
unit-test
[ "3.14" ]
[ "3.14" string>number number>string ]
unit-test
[ f ]
[ "." string>number ]
unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
Initial import
2007-09-20 18:09:08 -04:00
[ f ]
[ ".e" string>number ]
unit-test
[ "101.0" ]
[ "1.01e2" string>number number>string ]
unit-test
[ "-101.0" ]
[ "-1.01e2" string>number number>string ]
unit-test
[ "1.01" ]
[ "101.0e-2" string>number number>string ]
unit-test
[ "-1.01" ]
[ "-101.0e-2" string>number number>string ]
unit-test
[ f ]
[ "1e1/2" string>number ]
unit-test
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ f ]
[ "1e1.2" string>number ]
unit-test
Initial import
2007-09-20 18:09:08 -04:00
[ f ]
[ "e/2" string>number ]
unit-test
[ f ] [ "12" bin> ] unit-test
[ f ] [ "fdsf" bin> ] unit-test
[ 3 ] [ "11" bin> ] unit-test
[ f ] [ "\0." string>number ] unit-test
Rename unit-test-fails to must-fail and add must-fail-with to replace [ t ] [ [ ... ] catch ... ] unit-test idiom
2008-02-06 14:47:19 -05:00
[ 1 1 >base ] must-fail
[ 1 0 >base ] must-fail
[ 1 -1 >base ] must-fail
math.parser: add some tests for errors.
2012-06-06 18:14:52 -04:00
[ 2+1/2 -1 >base ] [ invalid-radix? ] must-fail-with
math.parser: simplify error types.
2012-06-08 10:32:01 -04:00
[ 123.456 8 >base ] [ invalid-radix? ] must-fail-with
[ 123.456 2 >base ] [ invalid-radix? ] must-fail-with
Split stdio up into input-stream/output-stream, pipes work in progress
2008-05-05 03:19:25 -04:00
Optimizing string>number
2009-04-11 21:30:51 -04:00
[ "0/0." ] [ 0.0 0.0 / number>string ] unit-test
math.parser fix
2008-05-05 19:09:44 -04:00
Optimizing string>number
2009-04-11 21:30:51 -04:00
[ "1/0." ] [ 1.0 0.0 / number>string ] unit-test
math.parser fix
2008-05-05 19:09:44 -04:00
Optimizing string>number
2009-04-11 21:30:51 -04:00
[ "-1/0." ] [ -1.0 0.0 / number>string ] unit-test
Fix negative zero
2008-07-20 01:56:25 -04:00
Fix test
2008-07-21 21:48:30 -04:00
[ t ] [ "0/0." string>number fp-nan? ] unit-test
Fix more math.parser stuff
2008-07-20 05:05:09 -04:00
Optimizing string>number
2009-04-11 21:30:51 -04:00
[ 1/0. ] [ "1/0." string>number ] unit-test
Fix more math.parser stuff
2008-07-20 05:05:09 -04:00
Optimizing string>number
2009-04-11 21:30:51 -04:00
[ -1/0. ] [ "-1/0." string>number ] unit-test
Fix more math.parser stuff
2008-07-20 05:05:09 -04:00
new, faster one-pass number parser
2009-11-01 01:26:05 -05:00
[ -0.5 ] [ "-1/2." string>number ] unit-test
Fix negative zero
2008-07-20 01:56:25 -04:00
[ "-0.0" ] [ -0.0 number>string ] unit-test
Fix erg's ratio bug
2008-09-30 19:28:11 -04:00
[ "-3/4" ] [ -3/4 number>string ] unit-test
[ "-1-1/4" ] [ -5/4 number>string ] unit-test
HEX: X.XXXpEEE hexadecimal float literal syntax
2009-09-11 21:11:29 -04:00
[ "1.0p0" ] [ 1.0 >hex ] unit-test
[ "1.8p2" ] [ 6.0 >hex ] unit-test
oops, float>hex didn't preserve leading zeroes in mantissa
2009-09-20 17:48:42 -04:00
[ "1.08p2" ] [ 4.125 >hex ] unit-test
HEX: X.XXXpEEE hexadecimal float literal syntax
2009-09-11 21:11:29 -04:00
[ "1.8p-2" ] [ 0.375 >hex ] unit-test
[ "-1.8p2" ] [ -6.0 >hex ] unit-test
[ "1.8p10" ] [ 1536.0 >hex ] unit-test
[ "0.0" ] [ 0.0 >hex ] unit-test
[ "1.0p-1074" ] [ 1 bits>double >hex ] unit-test
[ "-0.0" ] [ -0.0 >hex ] unit-test
math.parser: don't accept hex float without expt Part of #372
2011-11-26 18:15:46 -05:00
[ 1.0 ] [ "1.0p0" hex> ] unit-test
[ 1.5 ] [ "1.8p0" hex> ] unit-test
[ 1.875 ] [ "1.ep0" hex> ] unit-test
[ 1.90625 ] [ "1.e8p0" hex> ] unit-test
[ 1.03125 ] [ "1.08p0" hex> ] unit-test
[ 15.5 ] [ "f.8p0" hex> ] unit-test
[ 15.53125 ] [ "f.88p0" hex> ] unit-test
[ -15.5 ] [ "-f.8p0" hex> ] unit-test
HEX: X.XXXpEEE hexadecimal float literal syntax
2009-09-11 21:11:29 -04:00
[ 15.5 ] [ "f.8p0" hex> ] unit-test
[ -15.5 ] [ "-f.8p0" hex> ] unit-test
[ 62.0 ] [ "f.8p2" hex> ] unit-test
[ 3.875 ] [ "f.8p-2" hex> ] unit-test
[ $[ 1 bits>double ] ] [ "1.0p-1074" hex> ] unit-test
[ 0.0 ] [ "1.0p-1075" hex> ] unit-test
[ 1/0. ] [ "1.0p1024" hex> ] unit-test
[ -1/0. ] [ "-1.0p1024" hex> ] unit-test
math.parser: natively support 0b 0o 0x syntax Closes #371
2011-11-23 21:29:39 -05:00
[ 0 ] [ "0" string>number ] unit-test
[ 0 ] [ "00" string>number ] unit-test
math.parser: reject "0x" etc. without any digits
2011-11-24 15:27:40 -05:00
[ 0 ] [ "0,000" string>number ] unit-test
math.parser: natively support 0b 0o 0x syntax Closes #371
2011-11-23 21:29:39 -05:00
[ 0.0 ] [ "0." string>number ] unit-test
[ 0.0 ] [ "0.0" string>number ] unit-test
[ 0.0 ] [ "0x0.0p0" string>number ] unit-test
[ 0 ] [ "0x0" string>number ] unit-test
[ 0 ] [ "0o0" string>number ] unit-test
[ 0 ] [ "0b0" string>number ] unit-test
[ 10 ] [ "010" string>number ] unit-test
[ 16 ] [ "0x10" string>number ] unit-test
[ 8 ] [ "0o10" string>number ] unit-test
[ 2 ] [ "0b10" string>number ] unit-test
[ -10 ] [ "-010" string>number ] unit-test
[ -16 ] [ "-0x10" string>number ] unit-test
[ -8 ] [ "-0o10" string>number ] unit-test
[ -2 ] [ "-0b10" string>number ] unit-test
math.parser: test harder
2011-11-24 15:34:50 -05:00
[ f ] [ "01a" string>number ] unit-test
[ f ] [ "0x1g" string>number ] unit-test
[ f ] [ "0o18" string>number ] unit-test
[ f ] [ "0b12" string>number ] unit-test
oops, radix prefixes shouldn't chain
2011-11-24 15:39:52 -05:00
[ 11 ] [ "0x0b" string>number ] unit-test
[ f ] [ "0x0o0" string>number ] unit-test
math.parser: reject "0x" etc. without any digits
2011-11-24 15:27:40 -05:00
[ 0x7FFF,ABCD ] [ "0x7FFF,ABCD" string>number ] unit-test
math.parser: natively support 0b 0o 0x syntax Closes #371
2011-11-23 21:29:39 -05:00
[ 1.0 ] [ "0x1.0p0" string>number ] unit-test
math.parser: test harder
2011-11-24 15:34:50 -05:00
[ 6.0 ] [ "0x1.8p2" string>number ] unit-test
[ 0.375 ] [ "0x1.8p-2" string>number ] unit-test
[ -6.0 ] [ "-0x1.8p2" string>number ] unit-test
[ -0.375 ] [ "-0x1.8p-2" string>number ] unit-test
math.parser: reject "0x" etc. without any digits
2011-11-24 15:27:40 -05:00
[ f ] [ "0x" string>number ] unit-test
[ f ] [ "0b" string>number ] unit-test
[ f ] [ "0o" string>number ] unit-test
[ f ] [ "0x," string>number ] unit-test
[ f ] [ "0b," string>number ] unit-test
[ f ] [ "0o," string>number ] unit-test
[ f ] [ "0x,1" string>number ] unit-test
[ f ] [ "0b,1" string>number ] unit-test
[ f ] [ "0o,1" string>number ] unit-test
[ f ] [ "0x1," string>number ] unit-test
[ f ] [ "0b1," string>number ] unit-test
[ f ] [ "0o1," string>number ] unit-test
math.parser: don't accept hex float without expt Part of #372
2011-11-26 18:15:46 -05:00
! #372
! hex float requires exponent
[ f ] [ "0x1.0" string>number ] unit-test
math.integers: test round-to-even-on-tie behavior
2011-11-26 19:03:43 -05:00
! hex float rounds to even on half
[ 0x1.0000,0000,0000,0p0 ] [ "0x1.0000,0000,0000,0,8p0" string>number ] unit-test
[ 0x1.0000,0000,0000,2p0 ] [ "0x1.0000,0000,0000,1,8p0" string>number ] unit-test
[ 0x1.0000,0000,0000,0p0 ] [ "0x8.0000,0000,0000,4p-3" string>number ] unit-test
[ 0x1.0000,0000,0000,2p0 ] [ "0x8.0000,0000,0000,Cp-3" string>number ] unit-test
[ -0x1.0000,0000,0000,0p0 ] [ "-0x1.0000,0000,0000,0,8p0" string>number ] unit-test
[ -0x1.0000,0000,0000,2p0 ] [ "-0x1.0000,0000,0000,1,8p0" string>number ] unit-test
[ -0x1.0000,0000,0000,0p0 ] [ "-0x8.0000,0000,0000,4p-3" string>number ] unit-test
[ -0x1.0000,0000,0000,2p0 ] [ "-0x8.0000,0000,0000,Cp-3" string>number ] unit-test
! hex float rounds to nearest with tiny epsilons
[ 0x1.0000,0000,0000,0p0 ] [ "0x1.0000,0000,0000,0,4p0" string>number ] unit-test
[ 0x1.0000,0000,0000,0p0 ] [ "0x1.0000,0000,0000,0,7Fp0" string>number ] unit-test
[ 0x1.0000,0000,0000,0p0 ] [ "0x1.0000,0000,0000,0,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
[ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,0,Cp0" string>number ] unit-test
[ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,0,81p0" string>number ] unit-test
[ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,0,8000,0000,0000,0001p0" string>number ] unit-test
[ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,1,4p0" string>number ] unit-test
[ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,1,7Fp0" string>number ] unit-test
[ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,1,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
[ 0x1.0000,0000,0000,2p0 ] [ "0x1.0000,0000,0000,1,Cp0" string>number ] unit-test
[ 0x1.0000,0000,0000,2p0 ] [ "0x1.0000,0000,0000,1,81p0" string>number ] unit-test
[ 0x1.0000,0000,0000,2p0 ] [ "0x1.0000,0000,0000,1,8000,0000,0000,0001p0" string>number ] unit-test
[ -0x1.0000,0000,0000,0p0 ] [ "-0x1.0000,0000,0000,0,4p0" string>number ] unit-test
[ -0x1.0000,0000,0000,0p0 ] [ "-0x1.0000,0000,0000,0,7Fp0" string>number ] unit-test
[ -0x1.0000,0000,0000,0p0 ] [ "-0x1.0000,0000,0000,0,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
[ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,0,Cp0" string>number ] unit-test
[ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,0,81p0" string>number ] unit-test
[ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,0,8000,0000,0000,0001p0" string>number ] unit-test
[ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,1,4p0" string>number ] unit-test
[ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,1,7Fp0" string>number ] unit-test
[ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,1,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
[ -0x1.0000,0000,0000,2p0 ] [ "-0x1.0000,0000,0000,1,Cp0" string>number ] unit-test
[ -0x1.0000,0000,0000,2p0 ] [ "-0x1.0000,0000,0000,1,81p0" string>number ] unit-test
[ -0x1.0000,0000,0000,2p0 ] [ "-0x1.0000,0000,0000,1,8000,0000,0000,0001p0" string>number ] unit-test
math.parser: hex> etc. shouldn't take radix prefix Fixes #453
2011-12-16 20:20:05 -05:00
! #453
! hex> dec> oct> bin> shouldn't admit radix prefixes
[ 0x0b ] [ "0b" hex> ] unit-test
[ 0x0b0 ] [ "0b0" hex> ] unit-test
[ f ] [ "0o0" hex> ] unit-test
[ f ] [ "0x0" hex> ] unit-test
[ f ] [ "0b" dec> ] unit-test
[ f ] [ "0b0" dec> ] unit-test
[ f ] [ "0o0" dec> ] unit-test
[ f ] [ "0x0" dec> ] unit-test
[ f ] [ "0b" oct> ] unit-test
[ f ] [ "0b0" oct> ] unit-test
[ f ] [ "0o0" oct> ] unit-test
[ f ] [ "0x0" oct> ] unit-test
[ f ] [ "0b" bin> ] unit-test
[ f ] [ "0b0" bin> ] unit-test
[ f ] [ "0o0" bin> ] unit-test
[ f ] [ "0x0" bin> ] unit-test