Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 13 Feb 2015 17:43:39 +0000 (17:43 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 20 Feb 2015 08:52:34 +0000 (08:52 +0000)
compiler/typecheck/TcCanonical.hs

index 0b88200..6512343 100644 (file)
@@ -536,7 +536,7 @@ can_eq_fam_nc :: CtEvidence -> EqRel -> SwapFlag
               -> TcS (StopOrContinue Ct)
 -- Canonicalise a non-canonical equality of form (F tys ~ ty)
 --   or the swapped version thereof
--- Flatten both sides and go round again
+-- Flatten the LHS and go round again
 can_eq_fam_nc ev eq_rel swapped fn tys rhs ps_rhs
   = do { (xi_lhs, co_lhs) <- flattenFamApp FM_FlattenAll ev fn tys
        ; rewriteEqEvidence ev eq_rel swapped xi_lhs rhs co_lhs