mutually-recursive types and an old puzzle

[Joe Buck]

Chris Lattner wrote:
> > Actually I thought the question was more about the IR level type-system
> > than the source-level type-system.  If you expand the C++ example above
> > into an IR, you get structures, which even the C type-system can support
> > (you can return a structure containing a function pointer that returns a
> > structure).

On Wed, Jun 30, 2004 at 11:10:10AM +0200, Gabriel Dos Reis wrote:
> Are we talking about the puzzle formulated by Joe?

Yes, but the question is still relevant, because my real reason for
bringing it up was to make sure that the GIMPLE representation is rich
enough.  So we are talking both about Chris Torek's puzzle (I didn't
formulate it) *and* the IR level representation.