|Ml-yacc works with a non-correcting recovery error strategy? email@example.com (Rodrigo Saad) (2007-01-11)|
|From:||"Rodrigo Saad" <firstname.lastname@example.org>|
|Date:||11 Jan 2007 18:32:04 -0500|
|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
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:
| DELAY delayList (delayList)
| DELAY error (print "Delay declaration error"; (nil))
Any kind of help is appreciated.
Thank you in advance,
LAAS/France - Master Degree Student
Return to the
Search the comp.compilers archives again.