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

.