[m-dev.] Ye Olde Subtyping Proposal

[Ralph Becket]

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