On Mon, Jun 29, 2009 at 12:25 PM, Slava Pestov<sl...@factorcode.org> wrote: > Hi Harold, > > The quotations can optionally access values from the stack as long as > they leave the right number of values at the end (the predicate must > leave a boolean and the other quotation must not change the stack > height).
Thanks for this explanation, I think it makes sense. Is it then true to say that these two stack effects are equivalent: ( -- ? ) ( x -- x ? ) Or does the stack effect checker care? e.g., does it confirm that (at least?) the correct number of arguments are available? -Harold ------------------------------------------------------------------------------ _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
