2009/10/15 Slava Pestov <[email protected]>:
> Hi Paul,
>
> The code looks wrong. If pop-backtrack takes a vm instance, what does
> terminate-vm receive?

pop-backtrack has stack effect ( vm -- vm backtrack_or_f ),
do-backtrack has stack effect ( vm backtrack -- vm ) and terminate-vm
has stack effect ( vm -- vm ). So, the if* quotation ends up with
stack effect ( vm -- vm ) as I understand it (and I am pretty sure I
checked that with .infer, but I don't have the code to hand right now
to reconfirm). I'm not convinced the style is sensible, but I'm
planning to fix that later.

The code certainly worked some time back - but factor has changed
since then and I'm trying to track down the discrepancies (of which
this is the only one I don't understand).

Paul.

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay 
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Factor-talk mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk

Reply via email to