X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.hi-boot;h=735e1599cbfd01a4b3ad5b506dfd1a2012f975ae;hb=64ac3c5fc190617c81c8db8c8050c00794ac026d;hp=fa47d4eacc1408a903f74278087000c27ae13755;hpb=7e602b0a11e567fcb035d1afd34015aebcf9a577;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot b/ghc/compiler/typecheck/TcMatches.hi-boot
index fa47d4e..735e159 100644
--- a/ghc/compiler/typecheck/TcMatches.hi-boot
+++ b/ghc/compiler/typecheck/TcMatches.hi-boot
@@ -3,14 +3,14 @@ _exports_
 TcMatches tcGRHSs tcMatchesFun;
 _declarations_
 2 tcGRHSs _:_ _forall_ [s] => 
-	      RnHsSyn.RenamedGRHSs
-	      -> TcMonad.TcType
-	      -> HsExpr.StmtCtxt
-	      -> TcMonad.TcM s (TcHsSyn.TcGRHSs, Inst.LIE) ;;
+	      HsExpr.HsMatchContext Name.Name
+	      -> RnHsSyn.RenamedGRHSs
+	      -> TcType.TcType
+	      -> TcMonad.TcM s (TcHsSyn.TcGRHSs, TcMonad.LIE) ;;
 3 tcMatchesFun _:_ _forall_ [s] => 
 		[(Name.Name,Var.Id)]
 	     ->	Name.Name
-	     -> TcMonad.TcType
+	     -> TcType.TcType
 	     -> [RnHsSyn.RenamedMatch]
-	     -> TcMonad.TcM s ([TcHsSyn.TcMatch], Inst.LIE) ;;
+	     -> TcMonad.TcM s ([TcHsSyn.TcMatch], TcMonad.LIE) ;;