Ml-yacc works with a non-correcting recovery error strategy?

"Rodrigo Saad" <>
11 Jan 2007 18:32:04 -0500

          From comp.compilers

Related articles
Ml-yacc works with a non-correcting recovery error strategy? (Rodrigo Saad) (2007-01-11)
| List of all articles for this month |

From: "Rodrigo Saad" <>
Newsgroups: comp.compilers
Date: 11 Jan 2007 18:32:04 -0500
Organization: Compilers Central
Keywords: parse, errors, question
Posted-Date: 11 Jan 2007 18:32:04 EST

I am developing a compiler with ml-yacc and i would like to implement
Non-correcting recovery error strategy.

I don't want permit any kind of correction (deletion, insertion, ...)
by the compiler, the only thing I want is that every time the compiler
detects an error, it reports the "statement" where that error occurred
and then it continues parsing as if the discarded token was really a
valid "statement".

I searched over the web and i didn't find anything about the use of
the "error" token by the ml-yacc.

A short example of what i have in mind:
delayTags: (nil)
                            | DELAY delayList (delayList)
                            | DELAY error (print "Delay declaration error"; (nil))
Any kind of help is appreciated.
Thank you in advance,
Rodrigo Saad
LAAS/France - Master Degree Student

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.