From f85493e980584a1739ada11aef2f46c2cfbeaf62 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Fri, 29 Aug 2008 10:28:01 -0500 Subject: [PATCH] new accessors --- extra/inverse/inverse.factor | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/extra/inverse/inverse.factor b/extra/inverse/inverse.factor index edcf0c7d26..72a74baf68 100755 --- a/extra/inverse/inverse.factor +++ b/extra/inverse/inverse.factor @@ -40,8 +40,8 @@ M: no-inverse summary : constant-word? ( word -- ? ) stack-effect - [ effect-out length 1 = ] keep - effect-in length 0 = and ; + [ out>> length 1 = ] keep + in>> length 0 = and ; : assure-constant ( constant -- quot ) dup word? [ "Badly formed math inverse" throw ] when 1quotation ; @@ -65,7 +65,7 @@ UNION: explicit-inverse normal-inverse math-inverse pop-inverse ; : enough? ( stack word -- ? ) dup deferred? [ 2drop f ] [ - [ >r length r> 1quotation infer effect-in >= ] + [ >r length r> 1quotation infer in>> >= ] [ 3drop f ] recover ] if ; @@ -235,11 +235,11 @@ DEFER: _ ] recover ; inline : true-out ( quot effect -- quot' ) - effect-out [ ndrop ] curry + out>> [ ndrop ] curry [ t ] 3compose ; : false-recover ( effect -- quot ) - effect-in [ ndrop f ] curry [ recover-fail ] curry ; + in>> [ ndrop f ] curry [ recover-fail ] curry ; : [matches?] ( quot -- undoes?-quot ) [undo] dup infer [ true-out ] keep false-recover curry ;