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=ab2c6b031630e1b4b25d9d201e33ee405d1de5fa;hb=508a505e9853984bfdaa3ad855ae3fcbc6d31787;hp=0000000000000000000000000000000000000000;hpb=f9d8c8e0ab44b24d06b654d98543e8b39d4ebeca;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcMatches.lhs-boot b/ghc/compiler/typecheck/TcMatches.lhs-boot new file mode 100644 index 0000000..ab2c6b0 --- /dev/null +++ b/ghc/compiler/typecheck/TcMatches.lhs-boot @@ -0,0 +1,17 @@ +\begin{code} +module TcMatches where +import HsSyn ( GRHSs, MatchGroup ) +import Name ( Name ) +import Var ( Id ) +import TcType ( TcType, Expected ) +import TcRnTypes( TcM ) + +tcGRHSsPat :: GRHSs Name + -> Expected TcType + -> TcM (GRHSs Id) + +tcMatchesFun :: Name + -> MatchGroup Name + -> Expected TcType + -> TcM (MatchGroup Id) +\end{code}