[commit: ghc] master: Comments only (51e0a38)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/51e0a382a96e4c2e911738aeaac20f36b621fbbc/ghc

>---------------------------------------------------------------

commit 51e0a382a96e4c2e911738aeaac20f36b621fbbc
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Feb 27 08:51:06 2018 +0000

    Comments only


>---------------------------------------------------------------

51e0a382a96e4c2e911738aeaac20f36b621fbbc
 compiler/types/Unify.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs
index e59c4ce..9166544 100644
--- a/compiler/types/Unify.hs
+++ b/compiler/types/Unify.hs
@@ -1075,6 +1075,7 @@ bindTv env tv1 ty2
         ; checkRnEnvR env free_tvs2
 
         -- Occurs check, see Note [Fine-grained unification]
+        -- Make sure you include 'kco' (which ty2 does) Trac #14846
         ; occurs <- occursCheck env tv1 free_tvs2
 
         ; if occurs then maybeApart