2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[Module]{The @Module@ module.}
6 Representing modules and their flavours.
11 When compiling module A, which imports module B, we need to
12 know whether B will be in the same DLL as A.
13 If it's in the same DLL, we refer to B_f_closure
14 If it isn't, we refer to _imp__B_f_closure
15 When compiling A, we record in B's Module value whether it's
16 in a different DLL, by setting the DLL flag.
24 Module, -- Abstract, instance of Eq, Ord, Outputable
26 , PackageName -- = FastString; instance of Outputable, Uniquable
27 , modulePackage -- :: Module -> PackageName
28 , preludePackage -- :: PackageName name of Standard Prelude package
31 , pprModuleName -- :: ModuleName -> SDoc
34 , moduleName -- :: Module -> ModuleName
35 , moduleNameString -- :: ModuleName -> EncodedString
36 , moduleNameUserString -- :: ModuleName -> UserString
37 , moduleNameFS -- :: ModuleName -> EncodedFS
39 , moduleString -- :: Module -> EncodedString
40 , moduleUserString -- :: Module -> UserString
42 , mkVanillaModule -- :: ModuleName -> Module
43 , isVanillaModule -- :: Module -> Bool
44 , mkPrelModule -- :: UserString -> Module
45 , isPrelModule -- :: Module -> Bool
46 , mkModule -- :: ModuleName -> PackageName -> Module
47 , mkHomeModule -- :: ModuleName -> Module
48 , isHomeModule -- :: Module -> Bool
50 , mkModuleName -- :: UserString -> ModuleName
51 , mkModuleNameFS -- :: UserFS -> ModuleName
52 , mkSysModuleNameFS -- :: EncodedFS -> ModuleName
56 -- Where to find a .hi file
60 , elemModuleEnv, extendModuleEnv, extendModuleEnvList, plusModuleEnv_C
61 , delModuleEnvList, delModuleEnv, plusModuleEnv, lookupModuleEnv
62 , lookupWithDefaultModuleEnv, mapModuleEnv, mkModuleEnv, emptyModuleEnv
63 , moduleEnvElts, unitModuleEnv, isEmptyModuleEnv, foldModuleEnv
64 , lookupModuleEnvByName, extendModuleEnv_C
66 , ModuleSet, emptyModuleSet, mkModuleSet, moduleSetElts, extendModuleSet, elemModuleSet
70 #include "HsVersions.h"
73 import CmdLineOpts ( opt_InPackage )
74 import FastString ( FastString )
75 import Unique ( Uniquable(..) )
81 %************************************************************************
83 \subsection{Interface file flavour}
85 %************************************************************************
87 A further twist to the tale is the support for dynamically linked
88 libraries under Win32. Here, dealing with the use of global variables
89 that's residing in a DLL requires special handling at the point of use
90 (there's an extra level of indirection, i.e., (**v) to get at v's
91 value, rather than just (*v) .) When slurping in an interface file we
92 then record whether it's coming from a .hi corresponding to a module
93 that's packaged up in a DLL or not, so that we later can emit the
96 The logic for how an interface file is marked as corresponding to a
97 module that's hiding in a DLL is explained elsewhere (ToDo: give
101 data Module = Module ModuleName PackageInfo
104 = ThisPackage -- A module from the same package
105 -- as the one being compiled
106 | AnotherPackage PackageName -- A module from a different package
108 | DunnoYet -- This is used when we don't yet know
109 -- Main case: we've come across Foo.x in an interface file
110 -- but we havn't yet opened Foo.hi. We need a Name for Foo.x
111 -- Later on (in RnEnv.newTopBinder) we'll update the cache
112 -- to have the right PackageName
114 type PackageName = FastString -- No encoding at all
116 preludePackage :: PackageName
117 preludePackage = SLIT("std")
119 packageInfoPackage :: PackageInfo -> PackageName
120 packageInfoPackage ThisPackage = opt_InPackage
121 packageInfoPackage DunnoYet = SLIT("<?>")
122 packageInfoPackage (AnotherPackage p) = p
124 instance Outputable PackageInfo where
125 -- Just used in debug prints of lex tokens and in debug modde
126 ppr pkg_info = ppr (packageInfoPackage pkg_info)
130 %************************************************************************
132 \subsection{Where from}
134 %************************************************************************
136 The @WhereFrom@ type controls where the renamer looks for an interface file
139 data WhereFrom = ImportByUser -- Ordinary user import: look for M.hi
140 | ImportByUserSource -- User {- SOURCE -}: look for M.hi-boot
141 | ImportBySystem -- Non user import. Look for M.hi if M is in
142 -- the module this module depends on, or is a system-ish module;
143 -- M.hi-boot otherwise
144 | ImportByCmdLine -- The user typed a qualified name at
145 -- the GHCi prompt, try to demand-load
148 instance Outputable WhereFrom where
149 ppr ImportByUser = empty
150 ppr ImportByUserSource = ptext SLIT("{- SOURCE -}")
151 ppr ImportBySystem = ptext SLIT("{- SYSTEM IMPORT -}")
155 %************************************************************************
157 \subsection{The name of a module}
159 %************************************************************************
162 newtype ModuleName = ModuleName EncodedFS
163 -- Haskell module names can include the quote character ',
164 -- so the module names have the z-encoding applied to them
166 instance Uniquable ModuleName where
167 getUnique (ModuleName nm) = getUnique nm
169 instance Eq ModuleName where
170 nm1 == nm2 = getUnique nm1 == getUnique nm2
172 -- Warning: gives an ordering relation based on the uniques of the
173 -- FastStrings which are the (encoded) module names. This is _not_
174 -- a lexicographical ordering.
175 instance Ord ModuleName where
176 nm1 `compare` nm2 = getUnique nm1 `compare` getUnique nm2
178 instance Outputable ModuleName where
182 pprModuleName :: ModuleName -> SDoc
183 pprModuleName (ModuleName nm) = pprEncodedFS nm
185 moduleNameFS :: ModuleName -> EncodedFS
186 moduleNameFS (ModuleName mod) = mod
188 moduleNameString :: ModuleName -> EncodedString
189 moduleNameString (ModuleName mod) = _UNPK_ mod
191 moduleNameUserString :: ModuleName -> UserString
192 moduleNameUserString (ModuleName mod) = decode (_UNPK_ mod)
194 -- used to be called mkSrcModule
195 mkModuleName :: UserString -> ModuleName
196 mkModuleName s = ModuleName (_PK_ (encode s))
198 -- used to be called mkSrcModuleFS
199 mkModuleNameFS :: UserFS -> ModuleName
200 mkModuleNameFS s = ModuleName (encodeFS s)
202 -- used to be called mkSysModuleFS
203 mkSysModuleNameFS :: EncodedFS -> ModuleName
204 mkSysModuleNameFS s = ModuleName s
208 instance Outputable Module where
211 instance Uniquable Module where
212 getUnique (Module nm _) = getUnique nm
214 -- Same if they have the same name.
215 instance Eq Module where
216 m1 == m2 = getUnique m1 == getUnique m2
218 -- Warning: gives an ordering relation based on the uniques of the
219 -- FastStrings which are the (encoded) module names. This is _not_
220 -- a lexicographical ordering.
221 instance Ord Module where
222 m1 `compare` m2 = getUnique m1 `compare` getUnique m2
227 pprModule :: Module -> SDoc
228 pprModule (Module mod p) = getPprStyle $ \ sty ->
229 if debugStyle sty then
230 -- Print the package too
231 ppr p <> dot <> pprModuleName mod
238 mkModule :: ModuleName -- Name of the module
241 mkModule mod_nm pack_name
242 = Module mod_nm pack_info
244 pack_info | pack_name == opt_InPackage = ThisPackage
245 | otherwise = AnotherPackage pack_name
247 mkHomeModule :: ModuleName -> Module
248 mkHomeModule mod_nm = Module mod_nm ThisPackage
250 isHomeModule :: Module -> Bool
251 isHomeModule (Module nm ThisPackage) = True
252 isHomeModule _ = False
254 -- Used temporarily when we first come across Foo.x in an interface
255 -- file, but before we've opened Foo.hi.
256 -- (Until we've opened Foo.hi we don't know what the Package is.)
257 mkVanillaModule :: ModuleName -> Module
258 mkVanillaModule name = Module name DunnoYet
260 isVanillaModule :: Module -> Bool
261 isVanillaModule (Module nm DunnoYet) = True
262 isVanillaModule _ = False
264 mkPrelModule :: ModuleName -> Module
265 mkPrelModule name = mkModule name preludePackage
267 isPrelModule :: Module -> Bool
268 isPrelModule (Module nm (AnotherPackage p)) | p == preludePackage = True
269 isPrelModule _ = False
271 moduleString :: Module -> EncodedString
272 moduleString (Module (ModuleName fs) _) = _UNPK_ fs
274 moduleName :: Module -> ModuleName
275 moduleName (Module mod pkg_info) = mod
277 modulePackage :: Module -> PackageName
278 modulePackage (Module mod pkg_info) = packageInfoPackage pkg_info
280 moduleUserString :: Module -> UserString
281 moduleUserString (Module mod _) = moduleNameUserString mod
283 printModulePrefix :: Module -> Bool
284 -- When printing, say M.x
285 printModulePrefix (Module nm ThisPackage) = False
286 printModulePrefix _ = True
290 %************************************************************************
292 \subsection{@ModuleEnv@s}
294 %************************************************************************
297 type ModuleEnv elt = UniqFM elt
299 emptyModuleEnv :: ModuleEnv a
300 mkModuleEnv :: [(Module, a)] -> ModuleEnv a
301 unitModuleEnv :: Module -> a -> ModuleEnv a
302 extendModuleEnv :: ModuleEnv a -> Module -> a -> ModuleEnv a
303 extendModuleEnv_C :: (a->a->a) -> ModuleEnv a -> Module -> a -> ModuleEnv a
304 plusModuleEnv :: ModuleEnv a -> ModuleEnv a -> ModuleEnv a
305 extendModuleEnvList :: ModuleEnv a -> [(Module, a)] -> ModuleEnv a
307 delModuleEnvList :: ModuleEnv a -> [Module] -> ModuleEnv a
308 delModuleEnv :: ModuleEnv a -> Module -> ModuleEnv a
309 plusModuleEnv_C :: (a -> a -> a) -> ModuleEnv a -> ModuleEnv a -> ModuleEnv a
310 mapModuleEnv :: (a -> b) -> ModuleEnv a -> ModuleEnv b
311 moduleEnvElts :: ModuleEnv a -> [a]
313 isEmptyModuleEnv :: ModuleEnv a -> Bool
314 lookupModuleEnv :: ModuleEnv a -> Module -> Maybe a
315 lookupModuleEnvByName:: ModuleEnv a -> ModuleName -> Maybe a
316 lookupWithDefaultModuleEnv :: ModuleEnv a -> a -> Module -> a
317 elemModuleEnv :: Module -> ModuleEnv a -> Bool
318 foldModuleEnv :: (a -> b -> b) -> b -> ModuleEnv a -> b
320 elemModuleEnv = elemUFM
321 extendModuleEnv = addToUFM
322 extendModuleEnv_C = addToUFM_C
323 extendModuleEnvList = addListToUFM
324 plusModuleEnv_C = plusUFM_C
325 delModuleEnvList = delListFromUFM
326 delModuleEnv = delFromUFM
327 plusModuleEnv = plusUFM
328 lookupModuleEnv = lookupUFM
329 lookupModuleEnvByName = lookupUFM
330 lookupWithDefaultModuleEnv = lookupWithDefaultUFM
331 mapModuleEnv = mapUFM
332 mkModuleEnv = listToUFM
333 emptyModuleEnv = emptyUFM
334 moduleEnvElts = eltsUFM
335 unitModuleEnv = unitUFM
336 isEmptyModuleEnv = isNullUFM
337 foldModuleEnv = foldUFM
342 type ModuleSet = UniqSet Module
343 mkModuleSet :: [Module] -> ModuleSet
344 extendModuleSet :: ModuleSet -> Module -> ModuleSet
345 emptyModuleSet :: ModuleSet
346 moduleSetElts :: ModuleSet -> [Module]
347 elemModuleSet :: Module -> ModuleSet -> Bool
349 emptyModuleSet = emptyUniqSet
350 mkModuleSet = mkUniqSet
351 extendModuleSet = addOneToUniqSet
352 moduleSetElts = uniqSetToList
353 elemModuleSet = elementOfUniqSet