summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2018-01-04 16:14:56 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2018-01-04 16:15:18 +0000
commit86ea3b1e261ad59dfa7ac13d422a4d657dc83e92 (patch)
tree7b9cda15807524b726b9762d5acb2ebb18657315
parente2998d720c6b6bf72c86201d816f256a8ba704e6 (diff)
downloadhaskell-86ea3b1e261ad59dfa7ac13d422a4d657dc83e92.tar.gz
comments only
-rw-r--r--compiler/typecheck/TcFlatten.hs2
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.