X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.hi-boot;h=80f46b689335d1b902dd99cdcc26197e0c98985a;hb=e6d89fbd617bbdd60544c752835c2e1f8d146b57;hp=593f18edccb829d22bcfee6f48ca10a1966e0e06;hpb=1c62b517711ac232a8024d91fd4b317a6804d28e;p=ghc-hetmet.git

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