X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMatches.lhs-boot;h=0afe7d221fcfa43085b61c4bd5d4d2a5ec61f318;hb=1525a5819aa3a6eae8d8b05cfe348a2384da0c84;hp=18a79fa9846a568a9555ad2adcf7a6f331ca7ae8;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcMatches.lhs-boot b/compiler/typecheck/TcMatches.lhs-boot index 18a79fa..0afe7d2 100644 --- a/compiler/typecheck/TcMatches.lhs-boot +++ b/compiler/typecheck/TcMatches.lhs-boot @@ -2,16 +2,15 @@ module TcMatches where import HsSyn ( GRHSs, MatchGroup, ExprCoFn ) import Name ( Name ) -import Var ( Id ) import TcType ( BoxyRhoType ) -import TcRnTypes( TcM ) +import TcRnTypes( TcM, TcId ) tcGRHSsPat :: GRHSs Name -> BoxyRhoType - -> TcM (GRHSs Id) + -> TcM (GRHSs TcId) tcMatchesFun :: Name -> MatchGroup Name -> BoxyRhoType - -> TcM (ExprCoFn, MatchGroup Id) + -> TcM (ExprCoFn, MatchGroup TcId) \end{code}