snaroff at apple.com
Sun Feb 10 20:52:16 PST 2008
On Feb 10, 2008, at 8:26 PM, Eli Friedman wrote:
> On Feb 10, 2008 8:22 PM, Steve Naroff <snaroff at apple.com> wrote:
>> The spec seems to define completeness by the closing brace...
>> If so, changing the predicate doesn't sound correct (though it
>> makes sense
>> to me conceptually).
> The spec doesn't have anything to say about programs that don't meet
> the constraints... so I don't think we need to worry about that.
That's why I think this is an interesting issue...
I'm proposing modifying a spec defined constraint (isIncompleteType)
to include a new "constraint" regarding not meeting constraints:-)
It sounds like you think it's the right thing to do...true?
More information about the cfe-dev