Fix comment.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Sun, 16 Jan 2011 21:41:28 +0000 (13:41 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Sun, 16 Jan 2011 21:41:28 +0000 (13:41 -0800)
compiler/typecheck/TcInteract.lhs

index 30b1ae1..1194b0c 100644 (file)
@@ -973,7 +973,7 @@ doInteractWithInert _fdimprs
   = do { rewritten_dict <- rewriteDict (cv,tv,xi) (dv,ifl,cl,xis)
        ; mkIRContinue workItem DropInert (workListFromCCan rewritten_dict) }
 
--- Class constraint and given equality: use the equality to rewrite
+-- Implicit parameter and given equality: use the equality to rewrite
 -- the class constraint.
 doInteractWithInert _fdimprs 
                     (CTyEqCan { cc_id = cv, cc_flavor = ifl, cc_tyvar = tv, cc_rhs = xi })