[m-dev.] Abstract type classes.

[Ralph Becket]

Two points.

1. It seems we support abstract type classes, but I can't find
mention of it in the reference manual.

2. We currently disallow instance definitions for abstract types that
are defined as equivalence types.  Is there a reason why we could not
relax this so that we can allow such instance definitions provided
the type is also defined in the same module?

- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------