[m-rev.] for review: disallow d.u. dummy types with user-defind uc

[Julien Fischer]

On Wed, 31 May 2006, Julien Fischer wrote:

> Estimated hours taken: 4
> Branches: main, release
>
> Do not allow discriminated unions with a single zero-arity constructor to have
> user-defined equality or comparison.  Defining such types causes an assertion
> failure in the compiler because the types are considered to be dummy types and
> the runtime currently doesn't support (and probably won't ever) d.u. dummy
> types with user-defined equality or comparison.
>
> Fix another bug that where the compiler was not printing out the recompile
> with `-E' prompt at the appropriate time.  The bug was caused by the fact that
> there were several copies of the globals structure and the one that was being
> checked at the time the prompt was being printed out was not the one that had
> been updated during the rest of compilation.
>

Is anyone up for reviewing this one?

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------