On Aug 24, 2011, at 3:16 PM, Slava Pestov wrote: > Hi Andrew, > > You're using the old convention (from handbook.pdf? :-) ) Please > review recent docs: > > http://docs.factorcode.org/content/article-inference.html > http://docs.factorcode.org/content/article-effects.html
Even I'm having trouble finding a straightforward answer to this in those docs.
More to the point, the modern syntax for higher-order stack effects is ( name:
( nested -- effect ) -- ). For example:
: foo ( a b quot: ( a b -- c d e ) -- c d e )
call ;
: bar ( a b quot1: ( a b -- c d e ) quot2: ( c d e -- f ) -- f )
[ call ] bi@ ;
-Joe
smime.p7s
Description: S/MIME cryptographic signature
------------------------------------------------------------------------------ EMC VNX: the world's simplest storage, starting under $10K The only unified storage solution that offers unified management Up to 160% more powerful than alternatives and 25% more efficient. Guaranteed. http://p.sf.net/sfu/emc-vnx-dev2dev
_______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
