diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-02-27 08:51:06 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-02-27 08:51:06 +0000 |
| commit | 51e0a382a96e4c2e911738aeaac20f36b621fbbc (patch) | |
| tree | 4e2dd555ab4bb124c9f3a631047944f6f34ae582 | |
| parent | 3dec9236a80299cd3e3b9b21a42f91628db1a3d7 (diff) | |
| download | haskell-51e0a382a96e4c2e911738aeaac20f36b621fbbc.tar.gz | |
Comments only
| -rw-r--r-- | compiler/types/Unify.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs index e59c4ce125..916654443b 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 |