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

[Thomas Conway]

On Mon, Jan 08, 2001 at 07:13:32PM EST, Fergus Henderson wrote:
> > Index: runtime/mercury_mcpp.h
> > ===================================================================
> > RCS file: /home/staff/zs/imp/mercury/runtime/mercury_mcpp.h,v
> > retrieving revision 1.2
> > diff -u -r1.2 mercury_mcpp.h
> > --- runtime/mercury_mcpp.h	2001/01/01 15:05:40	1.2
> > +++ runtime/mercury_mcpp.h	2001/01/07 23:37:21
> > @@ -132,7 +132,6 @@
> >  #define MR_TYPECTOR_REP_FLOAT_val			10
> >  #define MR_TYPECTOR_REP_STRING_val			11
> >  #define MR_TYPECTOR_REP_PRED_val		    	12
> > -#define MR_TYPECTOR_REP_UNIV_val		    	13
> >  #define MR_TYPECTOR_REP_VOID_val		    	14
> >  #define MR_TYPECTOR_REP_C_POINTER_val			15
> >  #define MR_TYPECTOR_REP_TYPEINFO_val			16
> ...
> > Index: runtime/mercury_type_info.h
> > ===================================================================
> > RCS file: /home/staff/zs/imp/mercury/runtime/mercury_type_info.h,v
> > retrieving revision 1.61
> > diff -u -r1.61 mercury_type_info.h
> > --- runtime/mercury_type_info.h	2000/12/18 07:42:58	1.61
> > +++ runtime/mercury_type_info.h	2001/01/07 23:38:09
> >  /*
> >  ** Definitions for accessing the representation of the
> >  ** Mercury typeclass_info.
> > @@ -443,7 +413,6 @@
> >      MR_DEFINE_ENUM_CONST(MR_TYPECTOR_REP_FLOAT),
> >      MR_DEFINE_ENUM_CONST(MR_TYPECTOR_REP_STRING),
> >      MR_DEFINE_ENUM_CONST(MR_TYPECTOR_REP_PRED),
> > -    MR_DEFINE_ENUM_CONST(MR_TYPECTOR_REP_UNIV),
> >      MR_DEFINE_ENUM_CONST(MR_TYPECTOR_REP_VOID),
> 
> 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?
I guess the options are:
	- renumber the items after the deleted one
	- leave the UNIV enum in, but leave it unused
	- ?

Thomas
-- 
 Thomas Conway              Mercurian )O+  
 <conway at cs.mu.oz.au>       Every sword has two edges.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------