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

[Fergus Henderson]

On 12-Jan-2000, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
>  /*
> +** The number above or equal to which a type variable is considered to be
> +** existentially quantified.
> +**
> +** Should be kept in sync with existential_var_base in
> +** compiler/base_type_layout.m
> +*/
> +
> +#define MR_EXISTENTIAL_VAR_BASE                 512
> +
> +#define MR_TYPE_VARIABLE_IS_EXIST_QUANT(T)      ( (Word) T > MR_EXISTENTIAL_VAR_BASE )
> +#define MR_TYPE_VARIABLE_IS_UNIV_QUANT(T)       ( (Word) T <= MR_EXISTENTIAL_VAR_BASE )

Shouldn't that be `>=' and `<' rather than `>' and `<='?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------