diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-01-26 16:16:32 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-27 23:54:55 -0500 |
| commit | 638277ba7bd2683f539afb0bf469fe75376994e2 (patch) | |
| tree | e5e0a9f4d8a7d0ea6c3a610e5ab105293ae91a5e /compiler/GHC/Runtime/Eval.hs | |
| parent | 545bf8cf1844e2a1c18d2019d1f299ab10099873 (diff) | |
| download | haskell-638277ba7bd2683f539afb0bf469fe75376994e2.tar.gz | |
Detect family instance orphans correctly
We were treating a type-family instance as a non-orphan if there
was a type constructor on its /right-hand side/ that was local. Boo!
Utterly wrong. With this patch, we correctly check the /left-hand side/
instead!
Fixes #22717
Diffstat (limited to 'compiler/GHC/Runtime/Eval.hs')
| -rw-r--r-- | compiler/GHC/Runtime/Eval.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/GHC/Runtime/Eval.hs b/compiler/GHC/Runtime/Eval.hs index 7ee9b07050..b6cf935b7e 100644 --- a/compiler/GHC/Runtime/Eval.hs +++ b/compiler/GHC/Runtime/Eval.hs @@ -68,8 +68,7 @@ import GHC.Hs import GHC.Core.Predicate import GHC.Core.InstEnv -import GHC.Core.FamInstEnv ( FamInst ) -import GHC.Core.FVs ( orphNamesOfFamInst ) +import GHC.Core.FamInstEnv ( FamInst, orphNamesOfFamInst ) import GHC.Core.TyCon import GHC.Core.Type hiding( typeKind ) import GHC.Core.TyCo.Ppr |