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

inverse: minor cleanup.

locals-and-roots
John Benediktsson 2016-05-09 21:36:45 -07:00
parent a07b411834
commit 465e6478ab
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
basis/inverse/inverse.factor
View File

@ -35,13 +35,10 @@ M: fail summary drop "Matching failed" ;
ERROR: bad-math-inverse ; ERROR: bad-math-inverse ;
: next ( revquot -- revquot* first ) : next ( revquot -- revquot* first )
[ bad-math-inverse ] [ bad-math-inverse ] [ unclip-slice ] if-empty ;
[ unclip-slice ] if-empty ;
: constant-word? ( word -- ? ) : constant-word? ( word -- ? )
stack-effect stack-effect [ out>> length 1 = ] [ in>> empty? ] bi and ;
[ out>> length 1 = ]
[ in>> empty? ] bi and ;
: assure-constant ( constant -- quot ) : assure-constant ( constant -- quot )
dup word? [ bad-math-inverse ] when 1quotation ; dup word? [ bad-math-inverse ] when 1quotation ;
@ -158,6 +155,7 @@ ERROR: missing-literal ;
dup dup
[ word? ] [ symbol? not ] bi and [ word? ] [ symbol? not ] bi and
[ missing-literal ] when ; [ missing-literal ] when ;
\ + [ - ] [ - ] define-math-inverse \ + [ - ] [ - ] define-math-inverse
\ - [ + ] [ - ] define-math-inverse \ - [ + ] [ - ] define-math-inverse
\ * [ / ] [ / ] define-math-inverse \ * [ / ] [ / ] define-math-inverse
@ -175,6 +173,7 @@ DEFER: __
: both ( object object -- object ) : both ( object object -- object )
dupd assert= ; dupd assert= ;
\ both [ dup ] define-inverse \ both [ dup ] define-inverse
{ {
@ -277,6 +276,7 @@ DEFER: __
MACRO: matches? ( quot -- quot' ) [matches?] ; MACRO: matches? ( quot -- quot' ) [matches?] ;
ERROR: no-match ; ERROR: no-match ;
M: no-match summary drop "Fall through in switch" ; M: no-match summary drop "Fall through in switch" ;
: recover-chain ( seq -- quot ) : recover-chain ( seq -- quot )