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

kernel: cleanup

db4
Slava Pestov 2009-02-12 04:14:05 -06:00
parent 54a58cc196
commit 67eef761bb
1 changed files with 6 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
core/kernel/kernel.factor
View File

@ -152,27 +152,17 @@ DEFER: if
swap compose ; inline
! Curried cleavers
<PRIVATE
: bi-curry ( x p q -- p' q' ) [ [curry] ] bi@ bi ; inline
: schönfinkel ( quot -- quot' ) [ curry ] curry ; inline
: tri-curry ( x p q r -- p' q' r' ) [ [curry] ] tri@ tri ; inline
: bi-schönfinkel ( p q -- p' q' ) [ schönfinkel ] bi@ ; inline
: bi-curry* ( x y p q -- p' q' ) [ [curry] ] bi@ bi* ; inline
: tri-schönfinkel ( p q r -- p' q' r' ) [ schönfinkel ] tri@ ; inline
: tri-curry* ( x y z p q r -- p' q' r' ) [ [curry] ] tri@ tri* ; inline
PRIVATE>
: bi-curry@ ( x y q -- p' q' ) [curry] bi@ ; inline
: bi-curry ( x p q -- p' q' ) bi-schönfinkel bi ; inline
: tri-curry ( x p q r -- p' q' r' ) tri-schönfinkel tri ; inline
: bi-curry* ( x y p q -- p' q' ) bi-schönfinkel bi* ; inline
: tri-curry* ( x y z p q r -- p' q' r' ) tri-schönfinkel tri* ; inline
: bi-curry@ ( x y q -- p' q' ) schönfinkel bi@ ; inline
: tri-curry@ ( x y z q -- p' q' r' ) schönfinkel tri@ ; inline
: tri-curry@ ( x y z q -- p' q' r' ) [curry] tri@ ; inline
! Booleans
: not ( obj -- ? ) [ f ] [ t ] if ; inline