Note [mkWWstr and unsafeCoerce]
By using unsafeCoerce, it is possible to make the number of demands fail to match the number of constructor arguments; this happened in #8037. If so, the worker/wrapper split doesn't work right and we get a Core Lint bug. The fix here is simply to decline to do w/w if that happens.
References 0
This Note does not link to any other.
Referenced by 2
- Finalising boxity for demand signatures GHC.Core.Opt.DmdAnal
- Untyped demand on case-alternative binders GHC.Core.Opt.DmdAnal