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. -Eli _______________________________________________ cfe-dev mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
