X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.hi-boot-5;h=a8190d98f4bd49bb63246d3048d1132174b7403b;hb=d8a9b534050f62f65d9db0d69aad9733f687ef8b;hp=4be7cbb106a5dbcb1182bed7a33e02a727c09619;hpb=982006447ff7b8aa264bc018568e891313916d4d;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot-5 b/ghc/compiler/typecheck/TcMatches.hi-boot-5
index 4be7cbb..a8190d9 100644
--- a/ghc/compiler/typecheck/TcMatches.hi-boot-5
+++ b/ghc/compiler/typecheck/TcMatches.hi-boot-5
@@ -1,14 +1,13 @@
 __interface TcMatches 1 0 where
 __export TcMatches tcGRHSs tcMatchesFun;
-1 tcGRHSs :: __forall [s] => 
-	      RnHsSyn.RenamedGRHSs
-	      -> TcMonad.TcType
-	      -> HsExpr.StmtCtxt
-	      -> TcMonad.TcM s (TcHsSyn.TcGRHSs, Inst.LIE) ;
-1 tcMatchesFun :: __forall [s] => 
+1 tcGRHSs ::  HsExpr.HsMatchContext Name.Name
+	      -> RnHsSyn.RenamedGRHSs
+	      -> TcType.TcType
+	      -> TcMonad.TcM (TcHsSyn.TcGRHSs, Inst.LIE) ;
+1 tcMatchesFun :: 
 		[(Name.Name,Var.Id)]
 	     ->	Name.Name
-	     -> TcMonad.TcType
+	     -> TcType.TcType
 	     -> [RnHsSyn.RenamedMatch]
-	     -> TcMonad.TcM s ([TcHsSyn.TcMatch], Inst.LIE) ;
+	     -> TcMonad.TcM ([TcHsSyn.TcMatch], Inst.LIE) ;