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

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Apr 15 12:14:28 AEST 2009

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.

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

More information about the reviews mailing list