diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-10-06 23:39:29 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-09 08:52:07 -0400 |
| commit | bfdccac6acce84e15292a454d12f4e0d87ef6f10 (patch) | |
| tree | f9df5be9421346be191c98846181d3382d15262e /mk | |
| parent | dfaef1cae7a4a0cb8783933274dae7f39d7165a0 (diff) | |
| download | haskell-bfdccac6acce84e15292a454d12f4e0d87ef6f10.tar.gz | |
Fix desugaring of record updates on data families
This fixes a long-standing bug in the desugaring of record
updates for data families, when the latter involves a GADT. It's
all explained in Note [Update for GADTs] in GHC.HsToCore.Expr.
Building the correct cast is surprisingly tricky, as that Note
explains.
Fixes #18809. The test case (in indexed-types/should_compile/T18809)
contains several examples that exercise the dark corners.
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions