Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!umich!samsung!brutus.cs.uiuc.edu!apple!motcsd!hpda!hpcuhb!hpcllla!hpclisp!hpclwjm!walter
From: walter@hpclwjm.HP.COM (Walter Murray)
Newsgroups: comp.std.c
Subject: Re: compatability isn't transitive
Message-ID: <12570042@hpclwjm.HP.COM>
Date: 31 Jan 90 18:26:14 GMT
References: <1371.25bf217c@csc.anu.oz>
Organization: Hewlett-Packard Calif. Language Lab
Lines: 13

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);

Walter Murray
----------