[m-dev.] for review: change existential tvar encoding in RTTI

Zoltan Somogyi zs at cs.mu.OZ.AU
Sat Jan 15 15:33:00 AEDT 2000


> > +#define MR_TYPE_VARIABLE_IS_EXIST_QUANT(T)      ( (Word) T > MR_EXISTENTI
       AL_VAR_BASE )
> > +#define MR_TYPE_VARIABLE_IS_UNIV_QUANT(T)       ( (Word) T <= MR_EXISTENT
       IAL_VAR_BASE )
> 
> Shouldn't that be `>=' and `<' rather than `>' and `<='?

No, the comparisons are correct. David should wrap the Ts in ()s, though.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list