X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.lhs-boot;fp=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.lhs-boot;h=18a79fa9846a568a9555ad2adcf7a6f331ca7ae8;hb=ac10f8408520a30e8437496d320b8b86afda2e8f;hp=ab2c6b031630e1b4b25d9d201e33ee405d1de5fa;hpb=479cc24837aa2c14c3bbed323bb640a5c53a2522;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcMatches.lhs-boot b/ghc/compiler/typecheck/TcMatches.lhs-boot index ab2c6b0..18a79fa 100644 --- a/ghc/compiler/typecheck/TcMatches.lhs-boot +++ b/ghc/compiler/typecheck/TcMatches.lhs-boot @@ -1,17 +1,17 @@ \begin{code} module TcMatches where -import HsSyn ( GRHSs, MatchGroup ) +import HsSyn ( GRHSs, MatchGroup, ExprCoFn ) import Name ( Name ) import Var ( Id ) -import TcType ( TcType, Expected ) +import TcType ( BoxyRhoType ) import TcRnTypes( TcM ) tcGRHSsPat :: GRHSs Name - -> Expected TcType + -> BoxyRhoType -> TcM (GRHSs Id) tcMatchesFun :: Name -> MatchGroup Name - -> Expected TcType - -> TcM (MatchGroup Id) + -> BoxyRhoType + -> TcM (ExprCoFn, MatchGroup Id) \end{code}