http://www.vpri.org/pdf/packrat_TR-2007-002.pdf

Hello,

I'm having trouble understanding the following
pseudo-code line from Figure 4 on page 5 of your PDF:

if lr.detected and ans =/= FAIL

I'm missing where lr.detected ever gets set to TRUE.

I realize ans may itself be an LR data type, but I don't
see how the ans returned by EVAL(R.body) is the same
LR that the variable lr is bound to.

It seems to me that lr.detected would remain FALSE

I do see an assignment in the else clause (when m was found in memo table)

  if m.ans is LR
    then m.ans.detected <- TRUE

but lr.detected is being tested in the not-yet-memoized case.

Can anyone lead me into the light?

Thank you,
Chris Bratlien

Alessandro Warth wrote:
Hello,
Our paper, "Packrat Parsers Can Support Left Recursion", is finally ready
for public consumption. :) Those of you who are interested can download it
from the VPRI writings page, http://www.vpri.org/html/writings.htm
Cheers,
Alex

On Sep 20, 2007 8:31 AM, Claudio Campos <[EMAIL PROTECTED]>
wrote:

VPRI Folks,

Are there any version or update of OMeta (Meta for Squeak) that support
left
recursion (as describe in paper: "pakrat parser can support left
recursion"
with memoization table)

Thanks,

Claudio Campos
Santa Fe, Argentina


_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc



------------------------------------------------------------------------

_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc


------------------------------------------------------------------------

No virus found in this incoming message.
Checked by AVG Free Edition. Version: 7.5.503 / Virus Database: 269.16.9/1155 - Release Date: 11/27/2007 8:30 PM


_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc

Reply via email to