From 9b8aaa207917fc7eed16f46feaca548bdd98d78b Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Wed, 20 Sep 2006 18:31:56 +0000 Subject: [PATCH] Another comment Mon Sep 18 17:45:06 EDT 2006 Manuel M T Chakravarty * Another comment Wed Aug 9 04:48:18 EDT 2006 simonpj@microsoft.com * Another comment --- compiler/typecheck/Inst.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4