diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-04-26 19:56:07 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-04-29 17:28:30 -0400 |
| commit | 514700005af295f84d74d5c7e1c303ce3c0b28ce (patch) | |
| tree | fe07be8056df2902851e334eed24c43f4d915bb2 /compiler/GHC/Tc/Gen/Default.hs | |
| parent | 5981ac7d83810d26d74a07bbc452a0be278de66c (diff) | |
| download | haskell-514700005af295f84d74d5c7e1c303ce3c0b28ce.tar.gz | |
Expand synonyms in mkCastTy when necessary
Doing so is important to maintain invariants (EQ3) and (EQ4) from
`Note [Respecting definitional equality]` in `GHC.Core.TyCo.Rep`. For the
details, see the new `Note [Using coreView in mk_cast_ty]`.
Fixes #19742.
Diffstat (limited to 'compiler/GHC/Tc/Gen/Default.hs')
0 files changed, 0 insertions, 0 deletions