Re: do { quit; } else { }

Michael S <already5chosen@yahoo.com> writes:

On Thu, 10 Apr 2025 17:59:15 -0700
Keith Thompson <Keith.S.Thompson+u@gmail.com> wrote:

An understanding of what "compatible types" means.

>
Bart didn't say that types are compatible or non-compatible.
He said that they are 'compatible enough'. That is not terminology of C
Standard, but terminology of his own. And he seems to understand it.
>
In my own translation, 'compatible enough' means that when these structs
are accessed then any sane or even semi-sane compiler will generate code
that will have the same effect as in case of access through structures
with literally identical declarations.

Your speculation about what Bart meant is, I think, likely to be
correct.  If it is, he's talking about types having the same
representation.

That's not what "compatibility" means.  Calling types "compatible
enough" when they merely have the same representation is misleading.

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */