[m-dev.] Ye Olde Subtyping Proposal

Ralph Becket rafe at cs.mu.OZ.AU
Mon Nov 18 16:48:08 AEDT 2002

Fergus Henderson, Monday, 18 November 2002:
> I agree that abstract subtypes would be useful, but supporting them would
> mean that the proposal was no longer just syntactic sugar, but instead added
> a major new feature.  This would require substantial changes to mode analysis
> to implement.  I'm not opposed to doing that in the long term, but in the
> short term I think it would be better to support subtypes without abstract
> subtypes.

Why would it require major changes (forgive me if I'm a bit slow... it's one
of those days)?

Can't we just export the appropriate subtype and inst information in the
.int file and leave it at that (with your structural-and-by-name approach)?

- 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