SetLevels: Fix potential panic in lvlBind

Authored by bgamari on Sep 10 2019, 12:04 PM.

Description

SetLevels: Fix potential panic in lvlBind

3b31a94d introduced a use of isUnliftedType which can panic in the case
of levity-polymorphic types. Fix this by introducing mightBeUnliftedType
which returns whether the type is *guaranteed* to be lifted.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Sep 11 2019, 8:48 AM
Parents
rGHCd9e637dfb3a0: Remove dead `ncgDebugIsOn` and `NCG_DEBUG`
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC7ef6fe8f7015: SetLevels: Fix potential panic in lvlBind (authored by bgamari).Sep 11 2019, 8:48 AM