[m-rev.] Documentation and test case for abstract typeclasses.

[Ralph Becket]

Fergus Henderson, Wednesday, 30 October 2002:
> On 30-Oct-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > 
> > doc/reference_manual.texi:
> > 	Added documentation for abstract typeclass declarations.
> 
> That looks fine, thanks.
> 
> We probably ought to mention somewhere in the reference manual
> that the type class definition must be visible when making
> instance definitions.

I've appended

 | Non-abstract instance declarations can only be made in scopes where
 | the non-abstract typeclass declaration is visible.

to the "Abstract typeclass declarations" section.

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