X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=cff48e382f1761fd3d42f98cf892ff2f67a047ea;hb=8053aac536c96dabdc06e9f068852f5481474a29;hp=63b5f26c272602cb9edd5558ac7690e333e31e05;hpb=15cb792d18b1094e98c035dca6ecec5dad516056;p=ghc-hetmet.git

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index 63b5f26..cff48e3 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -261,7 +261,7 @@ instCallDicts loc [] = return ([], idCoercion)
 instCallDicts loc (EqPred ty1 ty2 : preds)
   = do  { unifyType ty1 ty2	-- For now, we insist that they unify right away 
 				-- Later on, when we do associated types, 
-				-- unifyType might return a coercion
+				-- unifyType :: Type -> Type -> TcM ([Inst], Coercion)
 	; (dicts, co_fn) <- instCallDicts loc preds
 	; return (dicts, co_fn <.> CoTyApp ty1) }
 	-- We use type application to apply the function to the