Fix scoped type variables for expression type signatures

[ghc-hetmet.git] / compiler / hsSyn / HsSyn.lhs

diff --git a/compiler/hsSyn/HsSyn.lhs b/compiler/hsSyn/HsSyn.lhs
index a9982a6..2169b1a 100644 (file)
--- a/compiler/hsSyn/HsSyn.lhs
+++ b/compiler/hsSyn/HsSyn.lhs
@@ -32,22 +32,21 @@ import HsImpExp
 import HsLit
 import HsPat
 import HsTypes
-import HscTypes                ( DeprecTxt )
-import BasicTypes      ( Fixity )
+import BasicTypes      ( Fixity, DeprecTxt )
 import HsUtils
 
 -- others:
 import IfaceSyn                ( IfaceBinding )
 import Outputable
 import SrcLoc          ( Located(..) )
-import Module          ( Module )
+import Module          ( Module, ModuleName )
 \end{code}
 
 All we actually declare here is the top-level structure for a module.
 \begin{code}
 data HsModule name
   = HsModule
-       (Maybe (Located Module))-- Nothing => "module X where" is omitted
+       (Maybe (Located ModuleName))-- Nothing => "module X where" is omitted
                                --      (in which case the next field is Nothing too)
        (Maybe [LIE name])      -- Export list; Nothing => export list omitted, so export everything
                                -- Just [] => export *nothing*