diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2020-11-30 11:54:46 -0500 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2020-11-30 11:54:46 -0500 |
| commit | 95315d98a68bd234a4635e1f129284dd798159a9 (patch) | |
| tree | 2bc541d6bb0af579207e51e82e05e7d63437cd1a | |
| parent | 0f8a4655e39bed1ca39820abdd3df9db5706b036 (diff) | |
| download | haskell-95315d98a68bd234a4635e1f129284dd798159a9.tar.gz | |
Close #19000 by fixing polarity of a comparisonwip/T19000
| -rw-r--r-- | compiler/GHC/Tc/Solver/Canonical.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Solver/Canonical.hs b/compiler/GHC/Tc/Solver/Canonical.hs index 7068d3176d..7053b5a3ea 100644 --- a/compiler/GHC/Tc/Solver/Canonical.hs +++ b/compiler/GHC/Tc/Solver/Canonical.hs @@ -1806,7 +1806,7 @@ canDecomposableTyConAppOK ev eq_rel tc tys1 tys2 | bndr <- tyConBinders tc , let new_loc0 | isNamedTyConBinder bndr = toKindLoc loc | otherwise = loc - new_loc | isVisibleTyConBinder bndr + new_loc | isInvisibleTyConBinder bndr = updateCtLocOrigin new_loc0 toInvisibleOrigin | otherwise = new_loc0 ] |