module Check ( check , ExhaustivePat, WarningPat, BoxedString(..) ) where
-import {-# SOURCE #-} DsExpr ( dsExpr )
-import {-# SOURCE #-} DsBinds ( dsBinds )
-
import HsSyn
-import TcHsSyn ( TypecheckedPat,
- TypecheckedMatch,
- TypecheckedHsBinds,
- TypecheckedHsExpr
- )
+import TcHsSyn ( TypecheckedPat )
import DsHsSyn ( outPatType )
import CoreSyn
-import DsMonad ( DsM, DsMatchContext(..),
- DsMatchKind(..)
- )
import DsUtils ( EquationInfo(..),
MatchResult(..),
EqnNo,
)
import Id ( idType,
Id,
- idName,
isTupleCon,
getIdArity
)