%
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1996
+% (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
%
\section[HsImpExp]{Abstract syntax: imports, exports, interfaces}
\begin{code}
-#include "HsVersions.h"
-
module HsImpExp where
-IMP_Ubiq()
+#include "HsVersions.h"
+import BasicTypes ( Module, IfaceFlavour(..) )
+import Name ( NamedThing )
import Outputable
-import PprStyle ( PprStyle(..) )
-import Pretty
import SrcLoc ( SrcLoc )
-#if __GLASGOW_HASKELL__ >= 202
-import Name
-#endif
\end{code}
%************************************************************************
data ImportDecl name
= ImportDecl Module -- module name
Bool -- True => qualified
+ IfaceFlavour -- True => source imported module
+ -- (current interpretation: ignore ufolding info)
(Maybe Module) -- as Module
(Maybe (Bool, [IE name])) -- (True => hiding, names)
SrcLoc
\begin{code}
instance (NamedThing name, Outputable name) => Outputable (ImportDecl name) where
- ppr sty (ImportDecl mod qual as spec _)
- = hang (hsep [ptext SLIT("import"), pp_qual qual, ptext mod, pp_as as])
+ ppr (ImportDecl mod qual as_source as spec _)
+ = hang (hsep [ptext SLIT("import"), pp_src as_source,
+ pp_qual qual, ptext mod, pp_as as])
4 (pp_spec spec)
where
+ pp_src HiFile = empty
+ pp_src HiBootFile = ptext SLIT("{-# SOURCE #-}")
+
pp_qual False = empty
pp_qual True = ptext SLIT("qualified")
pp_as Nothing = empty
- pp_as (Just a) = (<>) (ptext SLIT("as ")) (ptext a)
+ pp_as (Just a) = ptext SLIT("as ") <+> ptext a
pp_spec Nothing = empty
pp_spec (Just (False, spec))
- = parens (interpp'SP sty spec)
+ = parens (interpp'SP spec)
pp_spec (Just (True, spec))
- = (<>) (ptext SLIT("hiding ")) (parens (interpp'SP sty spec))
+ = ptext SLIT("hiding") <+> parens (interpp'SP spec)
\end{code}
%************************************************************************
\begin{code}
instance (NamedThing name, Outputable name) => Outputable (IE name) where
- ppr sty (IEVar var) = ppr sty var
- ppr sty (IEThingAbs thing) = ppr sty thing
- ppr sty (IEThingAll thing)
- = hcat [ppr sty thing, text "(..)"]
- ppr sty (IEThingWith thing withs)
- = (<>) (ppr sty thing)
- (parens (fsep (punctuate comma (map (ppr sty) withs))))
- ppr sty (IEModuleContents mod)
- = (<>) (ptext SLIT("module ")) (ptext mod)
+ ppr (IEVar var) = ppr var
+ ppr (IEThingAbs thing) = ppr thing
+ ppr (IEThingAll thing) = hcat [ppr thing, text "(..)"]
+ ppr (IEThingWith thing withs)
+ = ppr thing <> parens (fsep (punctuate comma (map ppr withs)))
+ ppr (IEModuleContents mod)
+ = ptext SLIT("module") <+> ptext mod
\end{code}