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

diff --git a/basis/stack-checker/stack-checker-tests.factor b/basis/stack-checker/stack-checker-tests.factor
index 6e2d6c467b175c73533096db8b7ec4f58b52050c..a2296ca84ffb0540b71ac0b6799a10cc37ab1daf 100644 (file)
--- a/basis/stack-checker/stack-checker-tests.factor
+++ b/basis/stack-checker/stack-checker-tests.factor
@@ -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
+