maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] parser error/warning messages

From: Emmanuel Castro <emmanuel.castro AT laposte.net>
To: krzys AT ifi.uio.no
Cc: maude-help AT cs.uiuc.edu
Subject: [Maude-help] parser error/warning messages
Date: Sat, 28 Aug 2010 16:37:31 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear Sir,

I have seen your post recently on the Maude list. I have noticed that the error reporting in module is rather good, except when one forgets to close parentheses.

I am trying to make a patch to the parser to get the position of unclosed parentheses, for instance, when one press Ctrl+C.

Is it the kind of problem that you encounter ?

Manu

[Maude-help] parser error/warning messages, Emmanuel Castro, 08/28/2010