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

Add more unit tests highlighting the problem: predicate -vs- union comparison is broken

db4
Slava Pestov 2008-11-04 02:17:22 -06:00
parent 18fdf64931
commit 7134fad54c
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
core/classes/predicate/predicate-tests.factor
View File

@ -1,9 +1,16 @@
USING: math tools.test ; USING: math tools.test classes.algebra ;
IN: classes.predicate IN: classes.predicate
PREDICATE: negative < integer 0 < ; PREDICATE: negative < integer 0 < ;
PREDICATE: positive < integer 0 > ; PREDICATE: positive < integer 0 > ;
[ t ] [ negative integer class< ] unit-test
[ t ] [ positive integer class< ] unit-test
[ f ] [ integer negative class< ] unit-test
[ f ] [ integer positive class< ] unit-test
[ f ] [ negative negative class< ] unit-test
[ f ] [ positive negative class< ] unit-test
GENERIC: abs ( n -- n ) GENERIC: abs ( n -- n )
M: integer abs ; M: integer abs ;
M: negative abs -1 * ; M: negative abs -1 * ;