[m-rev.] for review: check that abstract type declarations have definitions

[Ralph Becket]

Julien Fischer, Friday, 22 April 2005:
> 
> Estimated hours taken: 10
> Branches: main, release
> 
> Check that abstract type declarations do actually have a
> corresponding definition somewhere in the module.  Emit
> an error message if an abstract type declarations does not
> have a corresponding definition.

That looks good.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------