projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2003-11-06 17:09:50 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcUnify.lhs
diff --git
a/ghc/compiler/typecheck/TcUnify.lhs
b/ghc/compiler/typecheck/TcUnify.lhs
index
04a804d
..
85d89d4
100644
(file)
--- a/
ghc/compiler/typecheck/TcUnify.lhs
+++ b/
ghc/compiler/typecheck/TcUnify.lhs
@@
-30,7
+30,7
@@
module TcUnify (
import HsSyn ( HsExpr(..) )
import TcHsSyn ( mkHsLet,
ExprCoFn, idCoercion, isIdCoercion, mkCoercion, (<.>), (<$>) )
import HsSyn ( HsExpr(..) )
import TcHsSyn ( mkHsLet,
ExprCoFn, idCoercion, isIdCoercion, mkCoercion, (<.>), (<$>) )
-import TypeRep ( Type(..), PredType(..), TyNote(..), typeCon, openKindCon, isSuperKind )
+import TypeRep ( Type(..), PredType(..), TyNote(..), openKindCon, isSuperKind )
import TcRnMonad -- TcType, amongst others
import TcType ( TcKind, TcType, TcSigmaType, TcRhoType, TcTyVar, TcTauType,
import TcRnMonad -- TcType, amongst others
import TcType ( TcKind, TcType, TcSigmaType, TcRhoType, TcTyVar, TcTauType,