Documentation indicates RelaxedPolyRec is optional
The documentation in "Other Type System Extensions" says "If -XRelaxedPolyRec is specified ..." and "With -XRelaxedPolyRec ..." and "This flag implies -XRelaxedPolyRec". There may be other references elsewhere. In fact, RelaxedPolyRec has been not only the default but in fact impossible to turn off since at least GHC 7.6.3. The documentation should probably stop mentioning the (long-meaningless) flag, and simply state that GHC uses Jones's extension instead. The Haskell Report section cited regarding contexts in explicit signatures for declaration groups is so vague that I'm not sure it's even worth mentioning that GHC relaxes it.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1-rc2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Documentation |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |