projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-06-26 10:26:00 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcTyDecls.lhs
diff --git
a/ghc/compiler/typecheck/TcTyDecls.lhs
b/ghc/compiler/typecheck/TcTyDecls.lhs
index
47649c7
..
a45e600
100644
(file)
--- a/
ghc/compiler/typecheck/TcTyDecls.lhs
+++ b/
ghc/compiler/typecheck/TcTyDecls.lhs
@@
-16,7
+16,7
@@
IMP_Ubiq(){-uitous-}
import HsSyn ( TyDecl(..), ConDecl(..), BangType(..), HsExpr(..),
Match(..), GRHSsAndBinds(..), GRHS(..), OutPat(..),
import HsSyn ( TyDecl(..), ConDecl(..), BangType(..), HsExpr(..),
Match(..), GRHSsAndBinds(..), GRHS(..), OutPat(..),
- HsBinds(..), HsLit, Stmt, Qual, ArithSeqInfo,
+ HsBinds(..), HsLit, Stmt, Qualifier, ArithSeqInfo,
PolyType, Fake, InPat,
Bind(..), MonoBinds(..), Sig,
MonoType )
PolyType, Fake, InPat,
Bind(..), MonoBinds(..), Sig,
MonoType )
@@
-45,7
+45,7
@@
import Id ( mkDataCon, dataConSig, mkRecordSelId, idType,
)
import FieldLabel
import Kind ( Kind, mkArrowKind, mkBoxedTypeKind )
)
import FieldLabel
import Kind ( Kind, mkArrowKind, mkBoxedTypeKind )
-import SpecEnv ( SpecEnv(..), nullSpecEnv )
+import SpecEnv ( SYN_IE(SpecEnv), nullSpecEnv )
import Name ( nameSrcLoc, isLocallyDefinedName, getSrcLoc,
Name{-instance Ord3-}
)
import Name ( nameSrcLoc, isLocallyDefinedName, getSrcLoc,
Name{-instance Ord3-}
)
@@
-62,7
+62,7
@@
import Type ( GenType, -- instances
import PprType ( GenTyVar{-instance Outputable-}{-ToDo:possibly rm-} )
import TyVar ( tyVarKind, elementOfTyVarSet, GenTyVar{-instance Eq-} )
import Unique ( Unique {- instance Eq -}, evalClassKey )
import PprType ( GenTyVar{-instance Outputable-}{-ToDo:possibly rm-} )
import TyVar ( tyVarKind, elementOfTyVarSet, GenTyVar{-instance Eq-} )
import Unique ( Unique {- instance Eq -}, evalClassKey )
-import UniqSet ( emptyUniqSet, mkUniqSet, uniqSetToList, unionManyUniqSets, UniqSet(..) )
+import UniqSet ( emptyUniqSet, mkUniqSet, uniqSetToList, unionManyUniqSets, SYN_IE(UniqSet) )
import Util ( equivClasses, zipEqual, nOfThem, panic, assertPanic )
\end{code}
import Util ( equivClasses, zipEqual, nOfThem, panic, assertPanic )
\end{code}