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.
Les messages affichés proviennent d'usenet.