[m-dev.] release version numbers

Michael Day mikeday at yeslogic.com
Wed Feb 3 11:49:25 AEDT 2010

> How about 1.14.0, 1.15.0, ...?  This would continue the current release
> numbering except that the first digit indicates that the language and
> implementation is mature.  If there is a big language change in the
> future then we can go to 2.y.z.

I thought the implementation was not considered mature until modes work 
properly, and currently it is still impossible to use di/ui/uo correctly 
with user-defined discriminated union types is it not?

Best regards,


Print XML with Prince!
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list