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

[Ian MacLarty]

On Wed, May 31, 2006 at 03:51:48PM +1000, Julien Fischer wrote:
> 
> For review by anyone.
> 
> This was discussed on mercury-developers the other day.  The consensus
> there was that this was the preferable solution.
> 
> 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.

Delete "that".  I also suggest putting quotes around "recompile with `-E'".

Otherwise that looks fine.

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