[project @ 2005-01-27 10:44:00 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMatches.lhs-boot

diff --git a/ghc/compiler/typecheck/TcMatches.lhs-boot b/ghc/compiler/typecheck/TcMatches.lhs-boot
new file mode 100644 (file)
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}