[m-dev.] for review: make univ a user defined type.

[Fergus Henderson]

On 09-Jan-2001, Thomas Conway <conway at cs.mu.OZ.AU> wrote:
> On Mon, Jan 08, 2001 at 07:13:32PM EST, Fergus Henderson wrote:
> > That will change the values of the remaining enumeration
> > constants.  The resulting values will no longer match
> > the values used in other parts of the Mercury implementation
> > (e.g. the .NET back-end's mercury_mcpp.cpp, above).
> 
> Okay, so do you want me to do anything about it?

If you plan to check in this change, then yes, of course!

> I guess the options are:
> 	- renumber the items after the deleted one
> 	- leave the UNIV enum in, but leave it unused

Any of those would be fine with me.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------