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=HEAD;hpb=a8427a4125e9b78e88a487eeabf018f1c6e8bc08 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}