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

Hello,
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

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