diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-02-13 17:43:39 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-02-20 08:52:34 +0000 |
| commit | 5f675e5b5ee364a8da4ee04cd70e2dcea6cce4f1 (patch) | |
| tree | 610f16203eb7746f3e6f7dcd80807e0ff589fbcb | |
| parent | f3e5c3049197e8f9e03375749ce0b024e2d1a1aa (diff) | |
| download | haskell-5f675e5b5ee364a8da4ee04cd70e2dcea6cce4f1.tar.gz | |
Comments only
| -rw-r--r-- | compiler/typecheck/TcCanonical.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcCanonical.hs b/compiler/typecheck/TcCanonical.hs index 0b8820091b..6512343d9b 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 |