steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Inverse change

release
Daniel Ehrenberg 2007-11-28 15:33:58 -05:00
parent 9900214a2b
commit 74e8fea55a
1 changed files with 4 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
extra/inverse/inverse.factor
View File

@ -4,15 +4,6 @@ tuples namespaces vectors bit-arrays byte-arrays strings sbufs
math.functions macros ; math.functions macros ;
IN: inverse IN: inverse
: (repeat) ( from to quot -- )
pick pick >= [
3drop
] [
[ swap >r call 1+ r> ] keep (repeat)
] if ; inline
: repeat ( n quot -- ) 0 -rot (repeat) ; inline
TUPLE: fail ; TUPLE: fail ;
: fail ( -- * ) \ fail construct-empty throw ; : fail ( -- * ) \ fail construct-empty throw ;
M: fail summary drop "Unification failed" ; M: fail summary drop "Unification failed" ;
@ -33,11 +24,6 @@ M: fail summary drop "Unification failed" ;
>r dupd "pop-length" set-word-prop r> >r dupd "pop-length" set-word-prop r>
"pop-inverse" set-word-prop ; "pop-inverse" set-word-prop ;
DEFER: [undo]
: make-inverse ( word -- quot )
word-def [undo] ;
TUPLE: no-inverse word ; TUPLE: no-inverse word ;
: no-inverse ( word -- * ) \ no-inverse construct-empty throw ; : no-inverse ( word -- * ) \ no-inverse construct-empty throw ;
M: no-inverse summary M: no-inverse summary
@ -70,9 +56,11 @@ M: no-inverse summary
GENERIC: inverse ( revquot word -- revquot* quot ) GENERIC: inverse ( revquot word -- revquot* quot )
DEFER: [undo]
M: word inverse M: word inverse
dup "inverse" word-prop [ ] dup "inverse" word-prop [ ]
[ dup primitive? [ no-inverse ] [ make-inverse ] if ] ?if ; [ dup primitive? [ no-inverse ] [ word-def [undo] ] if ] ?if ;
: undo-literal ( object -- quot ) : undo-literal ( object -- quot )
[ =/fail ] curry ; [ =/fail ] curry ;
@ -100,7 +88,7 @@ M: pop-inverse inverse
MACRO: undo ( quot -- ) [undo] ; MACRO: undo ( quot -- ) [undo] ;
! Inversions of selected words ! Inverse of selected words
\ swap [ swap ] define-inverse \ swap [ swap ] define-inverse
\ dup [ [ =/fail ] keep ] define-inverse \ dup [ [ =/fail ] keep ] define-inverse