Make -XNoMonoPatBinds documentation match ghc behavior

According to this documentation: http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/monomorphism.html

And this ticket: http://hackage.haskell.org/trac/ghc/ticket/4940

I would expect for ghc-7.4.1 to give an error about this example:

foo :: a -> a
bar :: a -> a
(foo, bar) = (\x -> x, \y -> y)

main = print $ foo $ bar 1

Trying this code on ghc 7.0.1 gives the error listed in #4940 (closed) but on ghc-7.4.1 this code type checks and using -XNoMonoPatBinds gives this warning:

on the commandline:
    Warning: -XMonoPatBinds is deprecated: Experimental feature now removed; has no effect

I suspect the bug is with the documentation and the section about mono pat binds is in the user guide of the latest release of GHC.

Trac metadata

Trac field	Value
Version	7.6.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Documentation
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture