X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMatches.lhs-boot;h=8d0fba26997ea515f2f219c526119a83361551d0;hp=e50949f0f74ec898c42543cdbb31549c1b895dd3;hb=d2ce0f52d42edf32bb9f13796e6ba6edba8bd516;hpb=0084ab49ab3c0123c4b7f9523d092af45bccfd41 diff --git a/compiler/typecheck/TcMatches.lhs-boot b/compiler/typecheck/TcMatches.lhs-boot index e50949f..8d0fba2 100644 --- a/compiler/typecheck/TcMatches.lhs-boot +++ b/compiler/typecheck/TcMatches.lhs-boot @@ -2,15 +2,15 @@ module TcMatches where import HsSyn ( GRHSs, MatchGroup, HsWrapper ) import Name ( Name ) -import TcType ( BoxyRhoType ) +import TcType ( TcRhoType ) import TcRnTypes( TcM, TcId ) tcGRHSsPat :: GRHSs Name - -> BoxyRhoType + -> TcRhoType -> TcM (GRHSs TcId) tcMatchesFun :: Name -> Bool -> MatchGroup Name - -> BoxyRhoType + -> TcRhoType -> TcM (HsWrapper, MatchGroup TcId) \end{code}