[project @ 2002-02-12 15:17:13 by simonmar]

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

diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot-6 b/ghc/compiler/typecheck/TcMatches.hi-boot-6
new file mode 100644 (file)
index 0000000..a8190d9
--- /dev/null
+++ b/ghc/compiler/typecheck/TcMatches.hi-boot-6
@@ -0,0 +1,13 @@
+__interface TcMatches 1 0 where
+__export TcMatches tcGRHSs tcMatchesFun;
+1 tcGRHSs ::  HsExpr.HsMatchContext Name.Name
+             -> RnHsSyn.RenamedGRHSs
+             -> TcType.TcType
+             -> TcMonad.TcM (TcHsSyn.TcGRHSs, Inst.LIE) ;
+1 tcMatchesFun :: 
+               [(Name.Name,Var.Id)]
+            -> Name.Name
+            -> TcType.TcType
+            -> [RnHsSyn.RenamedMatch]
+            -> TcMonad.TcM ([TcHsSyn.TcMatch], Inst.LIE) ;
+