[commit: ghc] master: Comments only (5f675e5)
git at git.haskell.org
git at git.haskell.org
Fri Feb 20 12:25:48 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/5f675e5b5ee364a8da4ee04cd70e2dcea6cce4f1/ghc
>---------------------------------------------------------------
commit 5f675e5b5ee364a8da4ee04cd70e2dcea6cce4f1
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Fri Feb 13 17:43:39 2015 +0000
Comments only
>---------------------------------------------------------------
5f675e5b5ee364a8da4ee04cd70e2dcea6cce4f1
compiler/typecheck/TcCanonical.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcCanonical.hs b/compiler/typecheck/TcCanonical.hs
index 0b88200..6512343 100644
--- a/compiler/typecheck/TcCanonical.hs
+++ b/compiler/typecheck/TcCanonical.hs
@@ -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
More information about the ghc-commits
mailing list