On Feb 10, 2008, at 8:26 PM, Eli Friedman wrote: > On Feb 10, 2008 8:22 PM, Steve Naroff <[EMAIL PROTECTED]> 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? snaroff > -Eli _______________________________________________ cfe-dev mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
