[GHC] #13785: Cannot pacify -Wmonomorphism-restriction with nested pattern bindings

[GHC]

#13785: Cannot pacify -Wmonomorphism-restriction with nested pattern bindings
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.0.1
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Poor/confusing    |  Unknown/Multiple
  error message                      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:"a65dfea535ddf3ca6aa2380ad38cb60cf5c0f1d8/ghc"
 a65dfea5/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="a65dfea535ddf3ca6aa2380ad38cb60cf5c0f1d8"
 Make the MR warning more accurage

 Trac #13785 showed that we were emitting monomorphism warnings
 when we shouldn't.  The fix turned out to be simple.

 In fact test T10935 then turned out to be another example of
 the over-noisy warning so I changed the test slightly.
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13785#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler