[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