steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

typed: .97 basically breaks typed. Check that the new behavior is enforced.

db4
Doug Coleman 2014-07-03 12:29:40 -07:00
parent 712aa303db
commit 01ed046b4a
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
basis/typed/typed-tests.factor
View File

@ -13,8 +13,12 @@ TYPED: f+ ( a: float b: float -- c: float )
TYPED: fix+ ( a: fixnum b: fixnum -- c: fixnum ) TYPED: fix+ ( a: fixnum b: fixnum -- c: fixnum )
+ ; + ;
most-positive-fixnum neg 1 - 1quotation ! XXX: As of .97, we don't require that the output is a fixnum.
[ most-positive-fixnum 1 fix+ ] unit-test ! most-positive-fixnum neg 1 - 1quotation
! [ most-positive-fixnum 1 fix+ ] unit-test
! XXX: Check that we throw an error. This used to underflow to the least-positive-fixnum.
[ most-positive-fixnum 1 fix+ ] [ { "kernel-error" 7 } head? ] must-fail-with
TUPLE: tweedle-dee ; final TUPLE: tweedle-dee ; final
TUPLE: tweedle-dum ; final TUPLE: tweedle-dum ; final