Re: DR#314 update

2007-04-27 Thread Geoffrey Keating
On 27/04/2007, at 2:50 AM, Joseph S. Myers wrote: On Fri, 26 Apr 2007, Geoffrey Keating wrote: This seems reasonable to me, but maybe it would be simpler to write If there are one or more incomplete structure or union types which cannot all be completed without producing undefined behaviour,

Re: DR#314 update

2007-04-27 Thread Joseph S. Myers
On Fri, 26 Apr 2007, Geoffrey Keating wrote: > This seems reasonable to me, but maybe it would be simpler to write > > If there are one or more incomplete structure or union types which > cannot all be completed without producing undefined behaviour, the > behaviour is undefined. > > if that giv

Re: DR#314 update

2007-04-26 Thread Geoffrey Keating
"Joseph S. Myers" <[EMAIL PROTECTED]> writes: > Proposed amendment for C1x: > > 6.2.7 after paragraph 2 insert: There shall exist a partition of > all the structure and union types in the program into disjoint > classes such that (a) if two types are in the same class, then > they