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

"Rodrigo Saad" <digaots@gmail.com>
11 Jan 2007 18:32:04 -0500

          From comp.compilers

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

From: "Rodrigo Saad" <digaots@gmail.com>
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

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



Post a followup to this message

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