summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
bfa3486)
Allow zonking an unbound type variable with kind openTypeKind with voidTy.
I'm fairly sure this is ok - Simon?
-- Void if it has kind Lifted
-- :Void otherwise
zonk_unbound_tyvar tv
-- Void if it has kind Lifted
-- :Void otherwise
zonk_unbound_tyvar tv
- | kind == liftedTypeKind
+ | kind == liftedTypeKind || kind == openTypeKind
= tcPutTyVar tv voidTy -- Just to avoid creating a new tycon in
-- this vastly common case
| otherwise
= tcPutTyVar tv voidTy -- Just to avoid creating a new tycon in
-- this vastly common case
| otherwise