lintIdUnfolding could be simpler
I think that lintIdUnfolding could use maybeUnfoldingTemplate rather than the complicated linting of DFunUnfolding. Seeing as maybeUnfoldingTemplate is the thing which is used when inlining, it makes sense to use that rather than some ad-hoc reconstruction.
See https://phabricator.haskell.org/D4919 for the patch
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.4.3 |
| Type | Task |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |