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

Julien Fischer juliensf at cs.mu.OZ.AU
Fri May 13 22:15:42 AEST 2005

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.

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

More information about the reviews mailing list