compatability isn't transitive

[bdm659 at csc.anu.oz]

In article <12570042 at hpclwjm.HP.COM>, walter at hpclwjm.HP.COM (Walter Murray) writes:
> Brendan McKay writes:
>
>>         Find three types A, B, C, such that A and B are compatible,
>>         B and C are compatible, but A and C are not compatible.
>
>> [Additionally, all three types are required to be complete.]
>
> typedef void (*A) (int);
> typedef void (*B) ();
> typedef void (*C) (double);

Ok, that's a solution too.  There's another one for complete types other
than functions.  If it hasn't been posted when I get back in a week, I'll
post it myself.

Brendan McKay.

PS.  I never said this wasn't a boring question.