[m-rev.] for review: warn about insts without matching types

[Julien Fischer]

On Fri, 14 Jul 2006, Ian MacLarty wrote:

>> Also, we (currently) need to support the situation where an inst in the
>> interface refers to constructors in the implementation (due to the
>> implementation not supporting abstract insts), e.g.
>>
>> 	:- interface.
>>
>> 	:- type fruit.
>> 	:- type citrus ---> lemon ; orange.
>
> You mean ":- inst citrus ...".

Yes, I did mean inst there.

That (pending your bootcheck) looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at csse.unimelb.edu.au
administrative address: owner-mercury-reviews at csse.unimelb.edu.au
unsubscribe: Address: mercury-reviews-request at csse.unimelb.edu.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at csse.unimelb.edu.au Message: subscribe
--------------------------------------------------------------------------