[mercury-users] event keyword

Peter Wang wangp at students.csse.unimelb.edu.au
Sun Oct 29 19:42:15 AEDT 2006


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



More information about the users mailing list