diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-02-07 10:10:10 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-02-08 05:28:05 -0500 |
| commit | 6d77d3d8d6cedb840e1a86a3b23d6e6c1409ccbd (patch) | |
| tree | 8b77d568b0908f62ae94f802823db5fed5aa27f5 /compiler/GHC/Unit/Module/ModGuts.hs | |
| parent | a9355e84480e421a22fee57d6ee24d9ec059e128 (diff) | |
| download | haskell-6d77d3d8d6cedb840e1a86a3b23d6e6c1409ccbd.tar.gz | |
Relax TyEq:N: allow out-of-scope newtype DataCon
The 'bad_newtype' assertion in GHC.Tc.Solver.Canonical.canEqCanLHSFinish
failed to account for the possibility that the newtype constructor
might not be in scope, in which case we don't provide any guarantees
about canonicalising away a newtype on the RHS of a representational
equality.
Fixes #21010
Diffstat (limited to 'compiler/GHC/Unit/Module/ModGuts.hs')
0 files changed, 0 insertions, 0 deletions