1 This module breaks the loops among the typechecker modules
2 TcExpr, TcBinds, TcMonoBnds, TcQuals, TcGRHSs, TcMatches.
7 import TcGRHSs( tcGRHSsAndBinds )
8 import HsMatches(GRHSsAndBinds)
9 import HsPat(InPat, OutPat)
11 import TcHsSyn(TcIdOcc)
12 import RnHsSyn(RnName)
13 import TcType(TcMaybe)
16 import TyVar(GenTyVar)
18 import TcMonad(TcDown)
19 import PreludeGlaST(_MutableArray)
24 tcGRHSsAndBinds :: GRHSsAndBinds Fake Fake RnName (InPat RnName)
28 -> FSST_R a (GRHSsAndBinds (GenTyVar (_MutableArray a Int (TcMaybe a)))
31 (OutPat (GenTyVar (_MutableArray a Int (TcMaybe a)))
35 GenType (GenTyVar (_MutableArray a Int (TcMaybe a))) Unique