diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-04-26 19:56:07 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-04-27 09:09:02 -0400 |
| commit | e29fea0fb0d20ebe0b593649ba1d6263a308343d (patch) | |
| tree | 67372b494bf6cdaf9e2355bafe1651c5fb432338 /validate | |
| parent | 7bc7eea3897dcb8a87fdb0921f451b9bc77309f6 (diff) | |
| download | haskell-wip/T19742.tar.gz | |
Expand synonyms in mkCastTy when necessarywip/T19742
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 'validate')
0 files changed, 0 insertions, 0 deletions