[project @ 1998-02-10 14:15:51 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcPat.lhs
index 8f7451c..061b09a 100644 (file)
@@ -24,13 +24,14 @@ import TcEnv                ( TcIdOcc(..), tcLookupGlobalValue, tcLookupGlobalValueByKey,
 import TcType          ( TcType, TcMaybe, newTyVarTy, newTyVarTys )
 import Unify           ( unifyTauTy, unifyTauTyList, unifyTauTyLists )
 
+import Maybes          ( maybeToBool )
 import Bag             ( Bag )
 import CmdLineOpts     ( opt_IrrefutableTuples )
 import Id              ( GenId, idType, Id )
 import Kind            ( Kind, mkBoxedTypeKind, mkTypeKind )
 import PprType         ( GenType, GenTyVar )
 import Type            ( splitFunTys, splitRhoTy,
-                         splitFunTy_maybe,
+                         splitFunTy_maybe, splitAlgTyConApp_maybe,
                          Type, GenType
                        )
 import TyVar           ( GenTyVar )