Implement more constant folding for Naturals
#14465 (closed) has already gone a long way in improving the runtime performance of Natural numbers. However, we still lack constant folding for these numbers so there is money left on the table.
To fix this you will want to implement rules similar to those for Integer in the PrelRules module. Additionally, you will need to comment back in the CONSTANT_FOLDED pragmas in GHC.Natural (see D5267)
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.6.1 |
| Type | Task |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Edited by Ben Gamari