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

changed milestone to %8.0.1

changed weight to 5

added Tbug Trac import documentation labels

Good idea! Might you offer a patch? Thanks for pointing this out.

Simon

changed milestone to %8.0.2

Punting to 8.0.2 - this would be an easy documentation fix for someone.

Trac metadata

Trac field	Value
Differential revisions	- → D2515

assigned to @bgamari

mentioned in commit feaa31fb

added 1 deleted label

closed

Merged to ghc-8.0 as 02f09410.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

removed 1 deleted label

added Pnormal label