[m-rev.] diff: check for duplicated instance tvars

[Julien Fischer]

On Thu, 19 Oct 2006, Mark Brown wrote:

> Estimated hours taken: 1.5
> Branches: main
>
> compiler/prog_io_typeclass.m:
> 	Enforce the requirement that type variables in instance declarations
> 	are distinct.
>

I've committed this on the release branch as well.

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