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

Inference unit test fixes

release
slava 2006-07-26 19:06:22 +00:00
parent 82db2792a2
commit 3aa46e5fee
1 changed files with 33 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

63
library/test/inference.factor
View File

@ -143,14 +143,14 @@ SYMBOL: sym-test
[ { 1 1 } ] [ [ terminator-branch ] infer ] unit-test [ { 1 1 } ] [ [ terminator-branch ] infer ] unit-test
! : recursive-terminator : recursive-terminator
! dup [ dup [
! recursive-terminator recursive-terminator
! ] [ ] [
! not-a-number "Hi" throw
! ] if ; ] if ;
!
! [ { 1 0 } ] [ [ recursive-terminator ] infer ] unit-test [ { 1 0 } ] [ [ recursive-terminator ] infer ] unit-test
GENERIC: potential-hang GENERIC: potential-hang
M: fixnum potential-hang dup [ potential-hang ] when ; M: fixnum potential-hang dup [ potential-hang ] when ;
@ -208,10 +208,10 @@ DEFER: blah4
[ [ [ 1 ] [ ] bad-combinator ] infer ] unit-test-fails [ [ [ 1 ] [ ] bad-combinator ] infer ] unit-test-fails
! Regression ! Regression
! DEFER: do-crap DEFER: do-crap
! : more-crap dup [ drop ] [ dup do-crap call ] if ; : more-crap dup [ drop ] [ dup do-crap call ] if ;
! : do-crap dup [ do-crap ] [ more-crap ] if ; : do-crap dup [ do-crap ] [ more-crap ] if ;
! [ [ do-crap ] infer ] unit-test-fails [ [ do-crap ] infer ] unit-test-fails
! Regression ! Regression
: too-deep dup [ drop ] [ 2dup too-deep too-deep * ] if ; inline : too-deep dup [ drop ] [ 2dup too-deep too-deep * ] if ; inline
@ -260,13 +260,31 @@ DEFER: C
[ { 1 0 } ] [ [ C ] infer ] unit-test [ { 1 0 } ] [ [ C ] infer ] unit-test
! I found this bug by thinking hard about the previous one ! I found this bug by thinking hard about the previous one
! DEFER: Y DEFER: Y
! : X dup [ swap Y ] [ ] if ; : X dup [ swap Y ] [ ] if ;
! : Y X ; : Y X ;
[ { 2 2 } ] [ [ X ] infer ] unit-test [ { 2 2 } ] [ [ X ] infer ] unit-test
[ { 2 2 } ] [ [ Y ] infer ] unit-test [ { 2 2 } ] [ [ Y ] infer ] unit-test
[ 1234 infer ] unit-test-fails
! This hangs
[ [ [ dup call ] dup call ] infer ] unit-test-fails
! This form should not have a stack effect
: bad-recursion-1
dup [ drop bad-recursion-1 5 ] [ ] if ;
[ [ bad-recursion-1 ] infer ] unit-test-fails
: bad-bin 5 [ 5 bad-bin bad-bin 5 ] [ 2drop ] if ;
[ [ bad-bin ] infer ] unit-test-fails
! Test some random library words
[ { 1 1 } ] [ [ unit ] infer ] unit-test [ { 1 1 } ] [ [ unit ] infer ] unit-test
[ { 1 0 } ] [ [ >n ] infer ] unit-test [ { 1 0 } ] [ [ >n ] infer ] unit-test
@ -302,18 +320,3 @@ DEFER: C
[ { 1 1 } ] [ [ reverse ] infer ] unit-test [ { 1 1 } ] [ [ reverse ] infer ] unit-test
[ { 2 1 } ] [ [ member? ] infer ] unit-test [ { 2 1 } ] [ [ member? ] infer ] unit-test
[ { 2 1 } ] [ [ remove ] infer ] unit-test [ { 2 1 } ] [ [ remove ] infer ] unit-test
[ 1234 infer ] unit-test-fails
! This form should not have a stack effect
! : bad-bin 5 [ 5 bad-bin bad-bin 5 ] [ 2drop ] if ;
! [ [ bad-bin ] infer ] unit-test-fails
! : bad-recursion-1
! dup [ drop bad-recursion-1 5 ] [ ] if ;
!
! [ [ bad-recursion-1 ] infer ] unit-test-fails
! This hangs
! [ ] [ [ [ dup call ] dup call ] infer ] unit-test-fails