scope of header files

[Ross Paterson]

On Thu, Mar 06, 2008 at 12:23:35AM +0000, Duncan Coutts wrote:
> However for ghc:
> 
> foreign import ccall unsafe "foo.h foo" foo :: IO ()
> 
> does not escape because ghc does not track which .h file should be
> #included later. It's not that it couldn't escape according to the FFI
> spec but that ghc currently does not do cross-module inlining for such
> declarations. That's what I've been told and it's the behaviour I've
> observed, except for the case I noted.

Ah yes, I remember that now.