X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.hi-boot-5;h=726424be58e623e3614ea2b02b951dbf4878ed5c;hb=fb14718895ac83c200bd97a5ff44bfc005a5cd5f;hp=3ab2fb8d974490f20b5c6a8f600ca946c0ca4abd;hpb=221b6b69d68ad9b8de2948b6af40d1c08ffaa0c6;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot-5 b/ghc/compiler/typecheck/TcMatches.hi-boot-5
index 3ab2fb8..726424b 100644
--- a/ghc/compiler/typecheck/TcMatches.hi-boot-5
+++ b/ghc/compiler/typecheck/TcMatches.hi-boot-5
@@ -2,11 +2,11 @@ __interface TcMatches 1 0 where
 __export TcMatches tcGRHSs tcMatchesFun;
 1 tcGRHSs ::  HsExpr.HsMatchContext Name.Name
 	      -> RnHsSyn.RenamedGRHSs
-	      -> TcType.TcType
+	      -> TcUnify.Expected TcType.TcType
 	      -> TcRnTypes.TcM TcHsSyn.TcGRHSs ;
 1 tcMatchesFun :: 
 		Name.Name
-	     -> TcType.TcType
 	     -> [RnHsSyn.RenamedMatch]
+	     -> TcUnify.Expected TcType.TcType
 	     -> TcRnTypes.TcM [TcHsSyn.TcMatch] ;