Fix bug, better tests

basis/compiler/tree/propagation/propagation-tests.factor

@@ -5,7 +5,8 @@ accessors sequences arrays kernel.private vectors
 alien.accessors alien.c-types sequences.private
 byte-arrays classes.algebra classes.tuple.private
 math.functions math.private strings layouts
-compiler.tree.propagation.info slots.private words hashtables
+compiler.tree.propagation.info compiler.tree.def-use
+compiler.tree.checker slots.private words hashtables
 classes assocs ;
 IN: compiler.tree.propagation.tests
 
@@ -15,6 +16,8 @@ IN: compiler.tree.propagation.tests
     build-tree
     normalize
     propagate
+    compute-def-use
+    dup check-nodes
     peek node-input-infos ;
 
 : final-classes ( quot -- seq )

basis/stack-checker/inlining/inlining.factor

@@ -41,7 +41,7 @@ M: inline-recursive hashcode* id>> hashcode* ;
 : make-copies ( values effect-in -- values' )
     [ length cut* ] keep
     [ quotation-param? [ copy-value ] [ drop <value> ] if ] 2map
-    append ;
+    [ make-values ] dip append ;
 
 SYMBOL: enter-in
 SYMBOL: enter-out
@@ -125,7 +125,7 @@ SYMBOL: enter-out
 
 : adjust-stack-effect ( effect -- effect' )
     [ in>> ] [ out>> ] bi
-    meta-d get length pick length - 0 max
+    meta-d get length pick length [-]
     object <repetition> '[ , prepend ] bi@
     <effect> ;