Simon Peyton Jones pushed to branch wip/andreask/spec_tyfams at Glasgow Haskell Compiler / GHC
Commits:
-
3db11f25
by Simon Peyton Jones at 2025-07-04T16:30:24+01:00
1 changed file:
Changes:
| ... | ... | @@ -2194,7 +2194,8 @@ doNotUnbox :: Type -> Bool |
| 2194 | 2194 | doNotUnbox arg_ty
|
| 2195 | 2195 | = case tyConAppTyCon_maybe arg_ty of
|
| 2196 | 2196 | Just tc | Just cls <- tyConClass_maybe tc
|
| 2197 | - -> not (isEqualityClass cls {- || isCTupleClass cls -})
|
|
| 2197 | +-- -> not (isEqualityClass cls || isCTupleClass cls)
|
|
| 2198 | + -> not (isEqualityClass cls)
|
|
| 2198 | 2199 | -- See (DNB2) and (DNB1) in Note [Do not unbox class dictionaries]
|
| 2199 | 2200 | --
|
| 2200 | 2201 | -- *** TODO *** document the removal of isCTupleClass!
|