Commit 9b8aaa20 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

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
parent 7bb6c5b2
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment