[mercury-users] event keyword

[Peter Wang]

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, and can we get it changed?

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