From: Eric Hughes <eric.eh9@gmail.com>
Subject: Re: Partial type specifications and their ordering
Date: Mon, 17 Mar 2008 16:20:53 -0700 (PDT)
Date: 2008-03-17T16:20:53-07:00 [thread overview]
Message-ID: <69ab5218-3e81-4146-ad88-70ade8eb7059@s13g2000prd.googlegroups.com> (raw)
In-Reply-To: f2c01e91-8795-44af-869c-17c936553907@e10g2000prf.googlegroups.com
P.S.
To implement this, I'd use two new keywords:
-- "partial", to annotate any non-complete declaration
-- "satisfies", to require that an ordering relationship be present
To forestall some easy questions:
-- All inheritance gives rise to satisfaction relationships.
-- Not all satisfaction relationships are expressible as inheritance.
Eric
next prev parent reply other threads:[~2008-03-17 23:20 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-03-17 23:14 Partial type specifications and their ordering Eric Hughes
2008-03-17 23:20 ` Eric Hughes [this message]
2008-03-18 8:40 ` Dmitry A. Kazakov
2008-03-18 14:30 ` Eric Hughes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox