Re: do { quit; } else { }

On 5/14/25 05:07, David Brown wrote:

On 14/05/2025 04:23, James Kuyper wrote:

...

I was trying to match the wording of the text I was responding to. What
I meant can be made far more precise: the C standard guarantees that two
compatible types will work together, in the sense that every case where
the C standard mandates that two types must be compatible in order for
something to work, it will work for them.
>

>
That's a tautology - the C standard guarantees that two compatible
types will work together in situations where the C standard requires
that the types are compatible.

It's not a tautology, it's a recipe for generating a much longer and
more detailed specification by searching for relevant clauses from the
standard and extracting the relevant words from those sections, which I
had no particular desire to generate. My point was that it could be
generated, and would, when generated constitute a definition of what
"work together" means in this context.