[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.
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
--------------------------------------------------------------------------
More information about the reviews
mailing list