Re: Partial type specifications and their ordering
by Eric Hughes <eric.eh9@[EMAIL PROTECTED]
>
Mar 17, 2008 at 04:20 PM
P.S.
To implement this, I'd use two new keywords:
-- "partial", to annotate any non-complete declaration
-- "satisfies", to require that an ordering relation****p be present
To forestall some easy questions:
-- All inheritance gives rise to satisfaction relation****ps.
-- Not all satisfaction relation****ps are expressible as inheritance.
Eric
