On Wednesday 20 July 2005 16:52, Joost VandeVondele wrote: > Hi, > > I don't think Paul's example is completely correct, I've created PR22571 > with some more info.
Ah, this makes thing somewhat simpler. For some reason I though my example was legal. I think this makes it possible to implement my option (a). Ie. use the same type for all derived types that are "the same". This basically means where we create global function DECLs we also want to create global type declarations for derived types, and the type munging of function arguments becomes a no-op. Some trickey may still be needed for modules, but that's a slightly different issue. Paul
