[GHC] #11691: Documentation indicates RelaxedPolyRec is optional
#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
#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 Resolution: | 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: | -------------------------------------+------------------------------------- Comment (by simonpj): Good idea! Might you offer a patch? Thanks for pointing this out. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11691#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11691: Documentation indicates RelaxedPolyRec is optional -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1-rc2 Resolution: | 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: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * milestone: 8.0.1 => 8.0.2 Comment: Punting to 8.0.2 - this would be an easy documentation fix for someone. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11691#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11691: Documentation indicates RelaxedPolyRec is optional -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: patch Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2515 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => patch * differential: => Phab:D2515 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11691#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11691: Documentation indicates RelaxedPolyRec is optional -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: bgamari Type: bug | Status: patch Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2515 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * owner: => bgamari -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11691#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11691: Documentation indicates RelaxedPolyRec is optional -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: bgamari Type: bug | Status: patch Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2515 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"feaa31fbc41685d69045ac8d34be4e18f4f27ffd/ghc" feaa31fb/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="feaa31fbc41685d69045ac8d34be4e18f4f27ffd" Remove references to -XRelaxedPolyRec Test Plan: Read it Reviewers: dfeuer, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2515 GHC Trac Issues: #11691 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11691#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11691: Documentation indicates RelaxedPolyRec is optional -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: bgamari Type: bug | Status: merge Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2515 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: patch => merge -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11691#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11691: Documentation indicates RelaxedPolyRec is optional -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: bgamari Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Documentation | Version: 8.0.1-rc2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2515 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed Comment: Merged to `ghc-8.0` as 02f09410fa6b015ad84153c0d7680a5f59d81daa. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11691#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC