[m-rev.] for review: improve typeclass constraints error messages

[Julien Fischer]

On Wed, 19 Aug 2009, Peter Wang wrote:

> On 2009-08-18, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>
>> One suggestion:
>>
>> It might be nicer to say what the goals are, for example instead of
>>
>> 	a goal here, and
>> 	a goal here.
>>
>> this:
>> 	the call to foo/4, and
>> 	the unification between `X' and `Y'.
>>
>>
>> The diff looks fine otherwise.
>
> That sounds like too much work so I attempted it only for some calls.

Fair enough.  The situation I wanted to avoid was where you have a line
containing:

 	p(...), q(...), r(...)

Just saying that the problem is "here" isn't really sufficient in that
case.  It looks like your new diff deals with that situation anyway
though.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------