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

typed: Add unit test for #778.

db4
Doug Coleman 2013-03-20 11:14:09 -07:00
parent 3fb1cb6d2d
commit 3b8164da32
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -179,3 +179,7 @@ TYPED: typed-intersection ( x: intersection{ integer bignum } -- ? ) >boolean ;
[ t ] [ 5555555555555555555555555555555555555555555555555555 typed-intersection ] unit-test [ t ] [ 5555555555555555555555555555555555555555555555555555 typed-intersection ] unit-test
[ 0 typed-intersection ] [ input-mismatch-error? ] must-fail-with [ 0 typed-intersection ] [ input-mismatch-error? ] must-fail-with
[
"""IN: test123 USE: typed TYPED: foo ( x -- y ) ;""" eval( -- )
] [ error>> no-types-specified? ] must-fail-with