X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcRnTypes.lhs;h=c82c8b7a57cef1f07861d518762d98ffdd2d0074;hb=4e3255388e8b99ccdae290bfcb6cd666b8c93d4a;hp=3f347913b8d81764f4a9dea50b946aca6913fd88;hpb=d32c5227315009f38355fe3233f0f4e5b1f61dc6;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcRnTypes.lhs b/ghc/compiler/typecheck/TcRnTypes.lhs index 3f34791..c82c8b7 100644 --- a/ghc/compiler/typecheck/TcRnTypes.lhs +++ b/ghc/compiler/typecheck/TcRnTypes.lhs @@ -210,17 +210,10 @@ data IfGblEnv -- was originally a hi-boot file. -- We need the module name so we can test when it's appropriate -- to look in this env. - if_rec_types :: Maybe (Module, IfG TypeEnv), + if_rec_types :: Maybe (Module, IfG TypeEnv) -- Allows a read effect, so it can be in a mutable -- variable; c.f. handling the external package type env -- Nothing => interactive stuff, no loops possible - - if_is_boot :: ModuleEnv (ModuleName, IsBootInterface) - -- Tells what we know about boot interface files - -- When we're importing a module we know absolutely - -- nothing about, so we assume it's from - -- another package, where we aren't doing - -- dependency tracking. So it won't be a hi-boot file. } data IfLclEnv