Allow inline pragmas on pattern synonyms
Richard observes that it might be useful to allow inline pragmas to refer to pattern synonyms to ensure that the matcher is inlined.
The main question to resolve is whether {-# INLINE P #-}
means to inline just the matcher, just the builder
or both. It seems that without more fine grained control then the pragma should cause both the matcher and builder to be inline but I am not certain about this.
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |