[m-rev.] for review: nicer error messages

[Julien Fischer]

On Wed, 15 Apr 2009, Peter Wang wrote:

> Branches: main
>
> Make type errors where there are multiple inferred types more readable.
>
> compiler/typecheck_errors.m:
>    	Don't list expected types multiple times, once for each inferred
>    	type.  List expected types before inferred types.
>
>    	Indent lists of ambiguous types surrounded by braces.
>
> tests/invalid/Mmakefile:
> tests/invalid/type_error_ambiguous.err_exp:
> tests/invalid/type_error_ambiguous.m:
>    	Add test case.

That's fine.

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