[mercury-users] event keyword

[Julien Fischer]

On Sun, 29 Oct 2006, Peter Wang wrote:

> I only just realised that "event" was added as a keyword.  To use it as
> a type name, the user needs to write it within brackets "(event)".
> Was this intended

Yes.  It's part of an extension to the debugger infrastructure to
better support debugging of solvers.

> and can we get it changed?

Probably not.  (What would you change it to?)

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------