[m-rev.] diff: relax restrictions on existential data

[Julien Fischer]

On Fri, 13 May 2005, Mark Brown wrote:

> On 13-May-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > Just an observation:  with things like this the compiler should provide
> > more of an explanation when compiling with -E.
>
> Good idea.
>
> Cheers,
> Mark.
>
> Estimated hours taken: 0.5
> Branches: main
>
> compiler/check_typeclass.m:
> 	Add a verbose error message to explain what is meant by a type
> 	variable being "determined" by the arguments of a predicate, function
> 	or constructor.
>
That looks good.

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