[mercury-users] language features

[Michael Day]

I forgot, some resolution of the current syntax issues would be nice:

 - constructor classes, possibly changes to instance declarations
 - further determinism analysis (declaring [] and [_|_] to be exclusive?)
 - further mode analysis (parametric modes? polymorphic modes? eh?)
 - promises, checked and unchecked. (admissability also?)
 - revised use of tokens such as __, :, ::, . and ==

Any more?

Michael


--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------