[m-rev.] for review: improve error reporting for typeclass decls

[Julien Fischer]

On Fri, 6 Jan 2006, Julien Fischer wrote:

> Estimated hours taken: 10
> Branches: main
>
> Improve error reporting for type class declarations in the situation where a
> mode declaration for a method has been provided but there is no function or
> predicate declaration for that method.  Currently, this causes an internal
> abort in the compiler.
>
> Avoid another compiler abort in polymorphism.m when a type class method has
> two duplicate mode declarations.
>

I'm going to commit this; I'll deal with any review comments
post-commit.

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