[GHC] #11691: Documentation indicates RelaxedPolyRec is optional
GHC
ghc-devs at haskell.org
Wed Mar 9 20:01:29 UTC 2016
#11691: Documentation indicates RelaxedPolyRec is optional
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Documentation | Version: 8.0.1-rc2
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: Documentation
Unknown/Multiple | bug
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
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.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11691>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list