compiler tests: fix using, add tests to make sure instance? inlines

diff --git a/basis/compiler/tests/redefine26.factor b/basis/compiler/tests/redefine26.factor
index 7b2d89aa9dd94ae516bc62f31e267b53ac65032d..10be39d67591d922a5d2260f2b158152b268c81a 100644 (file)
--- a/basis/compiler/tests/redefine26.factor
+++ b/basis/compiler/tests/redefine26.factor
@@ -1,5 +1,5 @@
 USING: accessors classes.tuple classes.maybe compiler.units
-kernel math slots tools.test ;
+kernel math slots tools.test classes.union ;
 IN: compiler.tests.redefine26
 
 TUPLE: yoo ;

diff --git a/basis/compiler/tree/propagation/propagation-tests.factor b/basis/compiler/tree/propagation/propagation-tests.factor
index facff988e5c7621d862249838e43f19173ccff2c..c22071c319631a4dc3b4fe791e1e1348c50db246 100644 (file)
--- a/basis/compiler/tree/propagation/propagation-tests.factor
+++ b/basis/compiler/tree/propagation/propagation-tests.factor
@@ -1006,3 +1006,22 @@ M: tuple-with-read-only-slot clone
 [ V{ t } ] [
     [ tag 0 15 between? ] final-literals
 ] unit-test
+
+[ t ] [
+    [ maybe: integer instance? ] { instance? } inlined?
+] unit-test
+
+TUPLE: inline-please a ;
+[ t ] [
+    [ maybe: inline-please instance? ] { instance? } inlined?
+] unit-test
+
+GENERIC: derp ( obj -- obj' )
+
+M: integer derp 5 + ;
+M: f derp drop t ;
+
+[ t ]
+[
+    [ dup maybe: integer instance? [ derp ] when ] { instance? } inlined?
+] unit-test