diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-05-17 15:20:07 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-05-17 15:26:33 +0100 |
| commit | 15c805609dca94cb7d32db4e9dea4bb1c2e9a409 (patch) | |
| tree | 85b97a7582112eb1dc1fc63e1f08b248850bdfd6 /compiler/GHC/Tc/Module.hs | |
| parent | 2972fd66f91cb51426a1df86b8166a067015e231 (diff) | |
| download | haskell-wip/T23408.tar.gz | |
Type inference for data family newtype instanceswip/T23408
This patch addresses #23408, a tricky case with data family
newtype instances. Consider
type family TF a where TF Char = Bool
data family DF a
newtype instance DF Bool = MkDF Int
and [W] Int ~R# DF (TF a), with a Given (a ~# Char). We must fully
rewrite the Wanted so the tpye family can fire; that wasn't happening.
Diffstat (limited to 'compiler/GHC/Tc/Module.hs')
0 files changed, 0 insertions, 0 deletions