diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-02-28 11:11:41 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-02-28 11:11:41 +0000 |
| commit | 8f2368f2148de9e7f4b8c3fda9516c1119f4aea0 (patch) | |
| tree | 6d8f704924f9530c856d72a117fdcbd02ca23115 /compiler/Language/Haskell | |
| parent | 7825fef9f2096d7769baf433c6858d132af60a3a (diff) | |
| download | haskell-wip/T23018.tar.gz | |
Account for TYPE vs CONSTRAINT in mkSelCowip/T23018
As #23018 showed, in mkRuntimeRepCo we need to account for coercions
between TYPE and COERCION.
See Note [mkRuntimeRepCo] in GHC.Core.Coercion.
Diffstat (limited to 'compiler/Language/Haskell')
0 files changed, 0 insertions, 0 deletions