[mercury-users] event keyword

[Peter Wang]

On 2006-10-29, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> 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?)

What about something a user is less likely to use, e.g. "debug_event"?
Will it be typed a lot?

Peter

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------