X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs;h=1acef7c6fa276ff93a700ce0be6d8c0845e10b44;hb=19b44dcc5e5b9f92735fa99aa45dfaa94777177c;hp=bd25c5132a65ab2a9419fa1bdf92953e57db1515;hpb=1d1c3c727617630beacacaf33022e1daba06a0bb;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index bd25c51..1acef7c 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -222,7 +222,7 @@ subFunTys error_herald n_pats res_ty thing_inside
 boxySplitTyConApp :: TyCon			-- T :: k1 -> ... -> kn -> *
 	          -> BoxyRhoType 		-- Expected type (T a b c)
 		  -> TcM ([BoxySigmaType],	-- Element types, a b c
-                          CoercionI)
+                          CoercionI)            -- T a b c ~ orig_ty
   -- It's used for wired-in tycons, so we call checkWiredInTyCon
   -- Precondition: never called with FunTyCon
   -- Precondition: input type :: *
@@ -314,7 +314,7 @@ boxySplitAppTy orig_ty
       | Just (fun_ty, arg_ty) <- tcSplitAppTy_maybe ty
       = return ((fun_ty, arg_ty), IdCo)
 
-    loop ty@(TyConApp tycon args)
+    loop ty@(TyConApp tycon _args)
       | isOpenSynTyCon tycon        -- try to normalise type family application
       = do { (coi1, ty') <- tcNormaliseFamInst ty
            ; case coi1 of
@@ -924,7 +924,7 @@ tcGen expected_ty extra_tvs thing_inside	-- We expect expected_ty to be a forall
 	-- list of "free vars" for the signature check.
 
 	; loc <- getInstLoc (SigOrigin skol_info)
-	; dicts <- newDictBndrs loc theta'
+	; dicts <- newDictBndrs loc theta'	-- Includes equalities
 	; inst_binds <- tcSimplifyCheck loc tvs' dicts lie
 
 	; checkSigTyVarsWrt free_tvs tvs'