[m-rev.] for review: type qualifications in instance method clauses

[Julien Fischer]

On Mon, 11 Jan 2010, Peter Wang wrote:

> Branches: main
>
> Fix bug #123.  There was an incorrect assumption that instance method clauses
> will not contain explicit type qualifications.
>
> compiler/add_class.m:
> compiler/check_typeclass.m:
> compiler/make_hlds.m:
>        Thread the type varset through `produce_instance_method_clause' instead
>        of creating a dummy varset at each call and discarding the final varset
>        from `clauses_info_add_clause'.
>
> compiler/options.m:
>        Fix a typo.
>
> compiler/typecheck_info.m:
>        Show variable number suffixes with `--debug-types'.
>
> tests/valid/Mmakefile:
> tests/valid/instance_typequal.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
--------------------------------------------------------------------------