diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2021-11-07 13:09:06 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-07 16:26:46 -0500 |
| commit | 56705da84a8e954d9755270ca8bb37a43d7d03a9 (patch) | |
| tree | 6e56c958bacdbb467b038eb2dad5ae0a0895569d /compiler/Language/Haskell/Syntax/Lit.hs | |
| parent | 184f6bc6f17360421eb101c9deffb7f701072885 (diff) | |
| download | haskell-56705da84a8e954d9755270ca8bb37a43d7d03a9.tar.gz | |
Pmc: Do inhabitation test for unlifted vars (#20631)
Although I thought we were already set to handle unlifted datatypes correctly,
it appears we weren't. #20631 showed that it's wrong to assume
`vi_bot=IsNotBot` for `VarInfo`s of unlifted types from their inception if we
don't follow up with an inhabitation test to see if there are any habitable
constructors left. We can't trigger the test from `emptyVarInfo`, so now we
instead fail early in `addBotCt` for variables of unlifted types.
Fixed #20631.
Diffstat (limited to 'compiler/Language/Haskell/Syntax/Lit.hs')
0 files changed, 0 insertions, 0 deletions