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

generalize stack effect of while, until, and produce

db4
Joe Groff 2010-03-05 22:42:05 -08:00
parent 9571bf6d4b
commit 17df15280e
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
core/kernel/kernel.factor
View File

@ -177,10 +177,10 @@ UNION: boolean POSTPONE: t POSTPONE: f ;
: do ( pred body -- pred body ) : do ( pred body -- pred body )
dup 2dip ; inline dup 2dip ; inline
: while ( ... pred: ( ... -- ... ? ) body: ( ... -- ... ) -- ... ) : while ( ..a pred: ( ..a -- ..b ? ) body: ( ..b -- ..a ) -- ..b )
swap do compose [ loop ] curry when ; inline swap do compose [ loop ] curry when ; inline
: until ( ... pred: ( ... -- ... ? ) body: ( ... -- ... ) -- ) : until ( ..a pred: ( ..a -- ..b ? ) body: ( ..b -- ..a ) -- ..b )
[ [ not ] compose ] dip while ; inline [ [ not ] compose ] dip while ; inline
! Object protocol ! Object protocol

4
core/sequences/sequences.factor
View File

@ -513,10 +513,10 @@ PRIVATE>
: collector ( quot -- quot' vec ) : collector ( quot -- quot' vec )
V{ } collector-for ; inline V{ } collector-for ; inline
: produce-as ( ... pred: ( ... -- ... ? ) quot: ( ... -- ... obj ) exemplar -- ... seq ) : produce-as ( ..a pred: ( ..a -- ..b ? ) quot: ( ..b -- ..a obj ) exemplar -- ..b seq )
dup [ collector-for [ while ] dip ] curry dip like ; inline dup [ collector-for [ while ] dip ] curry dip like ; inline
: produce ( ... pred: ( ... -- ... ? ) quot: ( ... -- ... obj ) -- ... seq ) : produce ( ..a pred: ( ..a -- ..b ? ) quot: ( ..b -- ..a obj ) -- ..b seq )
{ } produce-as ; inline { } produce-as ; inline
: follow ( ... obj quot: ( ... prev -- ... result/f ) -- ... seq ) : follow ( ... obj quot: ( ... prev -- ... result/f ) -- ... seq )