Removing integers-as-sequences

[factor.git] / basis / inverse / inverse.factor

diff --git a/basis/inverse/inverse.factor b/basis/inverse/inverse.factor
index 4ecb1e12a8a133e52f4db1bcd845bbf154927f6b..383a4aca9bc3a95d52cda9fb88eb840b08ce4f37 100644 (file)
--- a/basis/inverse/inverse.factor
+++ b/basis/inverse/inverse.factor
@@ -68,7 +68,7 @@ UNION: explicit-inverse normal-inverse math-inverse pop-inverse ;
 
 : enough? ( stack word -- ? )
     dup deferred? [ 2drop f ] [
-        [ [ length ] [ 1quotation infer in>> ] bi* >= ]
+        [ [ length ] [ 1quotation infer in>> length ] bi* >= ]
         [ 3drop f ] recover
     ] if ;
 
@@ -273,10 +273,10 @@ DEFER: __
     ] recover ; inline
 
 : true-out ( quot effect -- quot' )
-    out>> '[ @ _ ndrop t ] ;
+    out>> length '[ @ _ ndrop t ] ;
 
 : false-recover ( effect -- quot )
-    in>> [ ndrop f ] curry [ recover-fail ] curry ;
+    in>> length [ ndrop f ] curry [ recover-fail ] curry ;
 
 : [matches?] ( quot -- undoes?-quot )
     [undo] dup infer [ true-out ] [ false-recover ] bi curry ;