diff --git a/TODO.FACTOR.txt b/TODO.FACTOR.txt
index f859ff57f3..dc919851a9 100644
--- a/TODO.FACTOR.txt
+++ b/TODO.FACTOR.txt
@@ -1,6 +1,7 @@
 - remove t object and type
 - compiling string>md5 hangs
 - mersenne 42 runs out of memory
+- uncrossref: don't clear infer-effect of words with an infer quotation
 
 + ui:
 
@@ -57,7 +58,6 @@
 - floating point intrinsics
 - flushing optimization
 - fix fixnum/mod overflow on PowerPC
-- eliminate simplifier
 - intrinsic char-slot set-char-slot
 - [ [ dup call ] dup call ] infer hangs
 - the invalid recursion form case needs to be fixed, for inlines too
diff --git a/library/compiler/vops.factor b/library/compiler/vops.factor
index 47bb35908f..6c296549b5 100644
--- a/library/compiler/vops.factor
+++ b/library/compiler/vops.factor
@@ -334,7 +334,6 @@ PREDICATE: tuple fast-branch
 TUPLE: %type ;
 C: %type make-vop ;
 : %type ( vreg ) <vreg> dest-vop <%type> ;
-M: %type basic-block? drop t ;
 
 TUPLE: %tag ;
 C: %tag make-vop ;
diff --git a/library/test/compiler/intrinsics.factor b/library/test/compiler/intrinsics.factor
index 0b371b8f17..a0ca804017 100644
--- a/library/test/compiler/intrinsics.factor
+++ b/library/test/compiler/intrinsics.factor
@@ -167,3 +167,6 @@ math-internals test words ;
 [ 268435456 0 ] [ -268435456 >fixnum -1 [ fixnum/mod ] compile-1 ] unit-test
 
 [ t ] [ f [ f eq? ] compile-1 ] unit-test
+
+! regression
+[ t ] [ { 1 2 3 } { 1 2 3 } [ over type over type eq? ] compile-1 2nip ] unit-test
diff --git a/library/test/lists/cons.factor b/library/test/lists/cons.factor
index 0fe293dcc8..d53c7485c7 100644
--- a/library/test/lists/cons.factor
+++ b/library/test/lists/cons.factor
@@ -1,6 +1,7 @@
 IN: temporary
 USE: lists
 USE: test
+USE: sequences
 
 [ f ] [ f car ] unit-test
 [ f ] [ f cdr ] unit-test