projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove unused import
[ghc-hetmet.git]
/
compiler
/
types
/
Unify.lhs
diff --git
a/compiler/types/Unify.lhs
b/compiler/types/Unify.lhs
index
0f810da
..
9d94a63
100644
(file)
--- a/
compiler/types/Unify.lhs
+++ b/
compiler/types/Unify.lhs
@@
-1,3
+1,7
@@
+%
+% (c) The University of Glasgow 2006
+%
+
\begin{code}
module Unify (
-- Matching of types:
\begin{code}
module Unify (
-- Matching of types:
@@
-8,13
+12,11
@@
module Unify (
#include "HsVersions.h"
#include "HsVersions.h"
-import Var ( Var, TyVar, tyVarKind )
+import Var
import VarEnv
import VarSet
import VarEnv
import VarSet
-import Type ( typeKind, tyVarsOfType, tyVarsOfTypes, tyVarsOfTheta,
- TvSubstEnv, emptyTvSubstEnv, TvSubst(..), tcEqTypeX,
- tcView, isSubKind, repSplitAppTy_maybe )
-import TypeRep ( Type(..), PredType(..) )
+import Type
+import TypeRep
import Outputable
import Maybes
\end{code}
import Outputable
import Maybes
\end{code}