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

Add failing inference test

db4
Slava Pestov 2008-05-20 18:52:22 -05:00
parent c077a38649
commit 7a8da37733
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
core/inference/inference-tests.factor
View File

@ -547,3 +547,12 @@ ERROR: custom-error ;
[ [ missing->r-check ] infer ] must-fail [ [ missing->r-check ] infer ] must-fail
{ 1 0 } [ [ ] map-children ] must-infer-as { 1 0 } [ [ ] map-children ] must-infer-as
! Corner case
[ [ [ f dup ] [ dup ] [ ] unfold ] infer ] must-fail
[ [ [ f dup ] [ ] [ ] while ] infer ] must-fail
: erg's-inference-bug ( -- ) f dup [ erg's-inference-bug ] when ; inline
[ [ erg's-inference-bug ] infer ] must-fail