[m-rev.] for review: do not allow non-abstract instance decls in interfaces

[Ian MacLarty]

On 11 Apr 2005, at 13:51, Julien Fischer wrote:

>
> For review by anyone.
>
> Estimated hours taken: 2
> Branches: main, release
>
> Fix a long standing problem where the compiler would accept
> non-abstract instance declarations in module interfaces, despite
> the reference manual disallowing these.
>
> compiler/modules.m:
> 	Emit an error message when a non-abstract instance
> 	declaration occurs in a module interface.
>
> tests/invalid/Mmakefile:
> tests/invalid/instance_bug.m:
> tests/invalid/instance_bug.err_exp:
> 	Test case for the above.
>
> Julien.
>

This all looks fine to me.

Ian.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------