Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!snorkelwacker!apple!brutus.cs.uiuc.edu!samsung!munnari.oz.au!csc!bdm659
From: bdm659@csc.anu.oz
Newsgroups: comp.std.c
Subject: Re: compatability isn't transitive
Message-ID: <1424.25c89f25@csc.anu.oz>
Date: 1 Feb 90 20:42:13 GMT
References: <1371.25bf217c@csc.anu.oz> <12570042@hpclwjm.HP.COM>
Organization: Computer Services, Australian National University
Lines: 19

In article <12570042@hpclwjm.HP.COM>, walter@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.