diff options
| author | Jakob Brünker <jakob.bruenker@gmail.com> | 2021-06-26 14:19:29 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-27 06:15:11 -0400 |
| commit | 3e71874b32725cb0bd95f6a7effc77190a860b3e (patch) | |
| tree | a36430a7c277e713e4fb2f25b24f526be499efe4 /compiler/GHC/Core/Subst.hs | |
| parent | b1792fefaf61099541157aaf77a6835ab7a09958 (diff) | |
| download | haskell-3e71874b32725cb0bd95f6a7effc77190a860b3e.tar.gz | |
Tc: Allow Typeable in quantified constraints
Previously, when using Typeable in a quantified constraint, GHC would
complain that user-specified instances of Typeable aren't allowed. This
was because checking for SigmaCtxt was missing from a check for whether
an instance head is a hand-written binding.
Fixes #20033
Diffstat (limited to 'compiler/GHC/Core/Subst.hs')
0 files changed, 0 insertions, 0 deletions