[m-dev.] for review: add MC++ implementation of library and runtime

[Zoltan Somogyi]

On 06-Dec-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> I think that's a fine solution.  However, I would like to know
> why the warning only occurs when you compile with `--target il'.

It is because that type is considered an enum, and normally it is unboxed,
which means that the unification procedure for it is just two casts to integer
and an integer equality test. For the IL backend, enums are boxed, and
we generate a disjunction with one alternative for each functor. In this case,
the disjunction has one disjunct, which always succeeds.

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