Johan I'd like to help but I don't have a clear enough information of the problem you are trying to solve, or the actual concrete problem you are encountering, to give a meaningful response. If you are ok, fine; if you want me to help specifically then Skype, a concrete test case, ... something Simon | -----Original Message----- | From: Johan Tibell [mailto:johan.tibell@gmail.com] | Sent: 04 April 2013 18:46 | To: Simon Peyton-Jones | Cc: Manuel M T Chakravarty; ghc-devs@haskell.org | Subject: Re: Why do Names defined in the current module lack a module | name? | | Simon, it looks like I'm running into problems similar to those Edsko | described in the email "Top-level type signatures in TcGblEnv?" to ghc- | devs a while ago. The complete information about a source file is spread | out over several different ASTs.