Another comment

Mon Sep 18 17:45:06 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Another comment
  Wed Aug  9 04:48:18 EDT 2006  simonpj@microsoft.com
    * Another comment

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index 63b5f26..cff48e3 100644 (file)
--- 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