Make Control.Concurrent.QSem a newtype
data QSem = QSem !(MVar (Int, [MVar ()], [MVar ()]))
I think this should be a newtype. The strictness annotations on the outter MVar
could just be at each site where pattern matching on the QSem
.
Trac metadata
Trac field | Value |
---|---|
Version | 8.6.2 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |