Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Detecting and graceful recovery from syntax errors in mixfix syntax is not 
easy. Currently Maude parsing is in two phases: the first phase recognizes 
the 
fixed syntax and treats the rest as opaque bubbles. The second parses the 
bubbles using a grammar created from the declarations in the fix syntax part.

If you are working in Core Maude then the first phase should pin down the 
location of the error fairly accurately. If you have a counterexample, by all 
means report it to 
maude-bugs AT maude.cs.uiuc.edu
 and I'll see what can be done 
in improving the over-parsing.

In Full Maude both phases are done using the MSCP10 parser and for the moment 
there is not much that can be done. Though I'm curious which features you 
need 
Full Maude for.

Steven

On Thursday 19 August 2010 01:14:31 am Krzysztof Majewski wrote:
> Hi,
> Is there any chance of getting more helpful error messages from the
> Maude parser in the near future? It seems like right now a large
> fraction of my coding time is spent binary-searching my source file for
> syntax errors which would trivial to fix if the parser properly reported
> them.
> 
> Thanks,
> krzys
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>