diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-09-08 07:20:02 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-09-08 07:22:00 -0400 |
| commit | 5e883375409efc2336da6295c7d81bd10b542210 (patch) | |
| tree | bb555de9629f59d0bb7ae22c6a0a9e170537dabb /compiler/GHC/Iface/Syntax.hs | |
| parent | d4bc9f0de7992f60bce403731019829f6248cc2c (diff) | |
| download | haskell-wip/T18648.tar.gz | |
Postpone associated tyfam default checks until after typecheckingwip/T18648
Previously, associated type family defaults were validity-checked
during typechecking. Unfortunately, the error messages that these
checks produce run the risk of printing knot-tied type constructors,
which will cause GHC to diverge. In order to preserve the current
error message's descriptiveness, this patch postpones these validity
checks until after typechecking, which are now located in the new
function `GHC.Tc.Validity.checkValidAssocTyFamDeflt`.
Fixes #18648.
Diffstat (limited to 'compiler/GHC/Iface/Syntax.hs')
| -rw-r--r-- | compiler/GHC/Iface/Syntax.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Iface/Syntax.hs b/compiler/GHC/Iface/Syntax.hs index bd576b26cf..b7d8f62401 100644 --- a/compiler/GHC/Iface/Syntax.hs +++ b/compiler/GHC/Iface/Syntax.hs @@ -215,7 +215,7 @@ data IfaceClassOp -- and the default method, are *not* quantified -- over the class variables -data IfaceAT = IfaceAT -- See Class.ClassATItem +data IfaceAT = IfaceAT -- See GHC.Core.Class.ClassATItem IfaceDecl -- The associated type declaration (Maybe IfaceType) -- Default associated type instance, if any |