From f7700809c5b0a005925b0df99190e577f9203a69 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Wed, 23 Nov 2011 01:01:11 -0800
Subject: [PATCH] compiler tests: fix using, add tests to make sure instance?
inlines
---
basis/compiler/tests/redefine26.factor | 2 +-
.../tree/propagation/propagation-tests.factor | 19 +++++++++++++++++++
2 files changed, 20 insertions(+), 1 deletion(-)
diff --git a/basis/compiler/tests/redefine26.factor b/basis/compiler/tests/redefine26.factor
index 7b2d89aa9d..10be39d675 100644
--- 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 facff988e5..c22071c319 100644
--- 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