diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-01-04 16:14:56 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-01-04 16:15:18 +0000 |
| commit | 86ea3b1e261ad59dfa7ac13d422a4d657dc83e92 (patch) | |
| tree | 7b9cda15807524b726b9762d5acb2ebb18657315 | |
| parent | e2998d720c6b6bf72c86201d816f256a8ba704e6 (diff) | |
| download | haskell-86ea3b1e261ad59dfa7ac13d422a4d657dc83e92.tar.gz | |
comments only
| -rw-r--r-- | compiler/typecheck/TcFlatten.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcFlatten.hs b/compiler/typecheck/TcFlatten.hs index c4fc1df6f7..bb7bb06467 100644 --- a/compiler/typecheck/TcFlatten.hs +++ b/compiler/typecheck/TcFlatten.hs @@ -64,7 +64,7 @@ Note [The flattening story] fmv ~ Int we NEVER unify fmv. - - A unification flatten-skolems, fmv, ONLY gets unified when either + - A unification flatten-skolem, fmv, ONLY gets unified when either a) The CFunEqCan takes a step, using an axiom b) By unflattenWanteds They are never unified in any other form of equality. |