[m-dev.] release version numbers

[Michael Day]

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

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------