[m-dev.] Abstract type classes.

Ralph Becket rafe at cs.mu.OZ.AU
Fri Oct 11 17:41:44 AEST 2002

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

More information about the developers mailing list