diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-05-06 09:49:45 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2021-05-06 22:37:44 +0100 |
| commit | 5e08a2c03b92634babb7dfc414d3f4439fc59cec (patch) | |
| tree | f6d5b2a591658817eaf2e35a3d0b9e96180e4246 /libraries/ghc-prim/GHC/Classes.hs | |
| parent | 30f6923a834ccaca30c3622a0a82421fabcab119 (diff) | |
| download | haskell-wip/T19739.tar.gz | |
Fix newtype eta-reductionwip/T19739
The eta-reduction we do for newype axioms was generating
an inhomogeneous axiom: see #19739.
This patch fixes it in a simple way; see GHC.Tc.TyCl.Build
Note [Newtype eta and homogeneous axioms]
Diffstat (limited to 'libraries/ghc-prim/GHC/Classes.hs')
0 files changed, 0 insertions, 0 deletions