maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] parser error/warning messages

From: Krzysztof Majewski <krzys AT ifi.uio.no>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] parser error/warning messages
Date: Thu, 19 Aug 2010 10:14:31 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

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] parser error/warning messages, Krzysztof Majewski, 08/19/2010
- Re: [Maude-help] parser error/warning messages, Steven Eker, 08/19/2010