add unit test from quotation that fails to infer during bootstrap.compiler

db4
Joe Groff 2010-03-07 20:07:30 -08:00
parent 4cd6ad840d
commit f353b13bbc
1 changed files with 3 additions and 0 deletions

View File

@ -448,3 +448,6 @@ FROM: splitting.private => split, ;
[ [ [ ] [ drop ] if* ] infer ] [ invalid-quotation-input? ] must-fail-with
[ [ [ ] [ 2dup ] if* ] infer ] [ invalid-quotation-input? ] must-fail-with
! edge cases in polymorphic checking
{ 1 0 } [ [ 1 [ drop ] [ drop ] if ] each ] must-infer-as