[project @ 1998-02-03 17:11:28 by simonm]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMatches.lhs

diff --git a/ghc/compiler/typecheck/TcMatches.lhs b/ghc/compiler/typecheck/TcMatches.lhs
index 9185d60..6ea887e 100644 (file)
--- a/ghc/compiler/typecheck/TcMatches.lhs
+++ b/ghc/compiler/typecheck/TcMatches.lhs
@@ -11,7 +11,7 @@ module TcMatches ( tcMatchesFun, tcMatchesCase, tcMatchExpected ) where
 import {-# SOURCE #-} TcGRHSs ( tcGRHSsAndBinds )
 
 import HsSyn           ( HsBinds(..), Match(..), GRHSsAndBinds(..), GRHS(..),
-                         HsExpr(..), MonoBinds(..),
+                         HsExpr, MonoBinds(..),
                          collectPatBinders, pprMatch, getMatchLoc
                        )
 import RnHsSyn         ( RenamedMatch )
@@ -23,12 +23,12 @@ import TcEnv                ( TcIdOcc(..), newMonoIds )
 import TcPat           ( tcPat )
 import TcType          ( TcType, TcMaybe, zonkTcType, newTyVarTy )
 import TcSimplify      ( bindInstsOfLocalFuns )
-import Unify           ( unifyTauTy, unifyTauTyList, unifyFunTy )
+import Unify           ( unifyTauTy, unifyFunTy )
 import Name            ( Name {- instance Outputable -} )
 
 import Kind            ( Kind, mkTypeKind )
 import BasicTypes      ( RecFlag(..) )
-import Type            ( isTyVarTy, isTauTy, mkFunTy, splitFunTy_maybe )
+import Type            ( isTauTy, mkFunTy )
 import Util
 import Outputable
 import SrcLoc           (SrcLoc)