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

Unit tests for inference behavior of call( and execute(

db4
Daniel Ehrenberg 2009-07-14 01:23:21 -05:00
parent 47500fad06
commit 4aa3e2135a
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
basis/stack-checker/stack-checker-tests.factor
View File

@ -375,4 +375,10 @@ DEFER: eee'
! Found during code review
[ [ [ drop [ ] ] when call ] infer ] must-fail
[ swap [ [ drop [ ] ] when call ] infer ] must-fail
[ swap [ [ drop [ ] ] when call ] infer ] must-fail
{ 3 1 } [ call( a b -- c ) ] must-infer-as
{ 3 1 } [ execute( a b -- c ) ] must-infer-as
[ [ call-effect ] infer ] must-fail
[ [ execute-effect ] infer ] must-fail