diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-01-15 17:15:58 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-25 05:21:05 -0500 |
| commit | 86966d48954db4a8bd40046af259ed60aed535eb (patch) | |
| tree | d003bee5b0d31af6c867d5ce6a6c8ce0527124d6 /compiler/GHC/Cmm.hs | |
| parent | 8038cbd96f444fdba18e8c9fb292c565738b774d (diff) | |
| download | haskell-86966d48954db4a8bd40046af259ed60aed535eb.tar.gz | |
PmCheck: Properly handle constructor-bound type variables
In https://gitlab.haskell.org/ghc/ghc/merge_requests/2192#note_246551
Simon convinced me that ignoring type variables existentially bound by
data constructors have to be the same way as value binders.
Sadly I couldn't think of a regression test, but I'm confident that this
change strictly improves on the status quo.
Diffstat (limited to 'compiler/GHC/Cmm.hs')
0 files changed, 0 insertions, 0 deletions