[GHC] #14236: Typeable App pattern doesn't match function types

[GHC]

#14236: Typeable App pattern doesn't match function types
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:  (none)
            Type:  bug               |               Status:  closed
        Priority:  low               |            Milestone:  8.4.1
       Component:  Compiler          |              Version:  8.2.1
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D3969
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Herbert Valerio Riedel <hvr@…>):

 In [changeset:"9c7d0657e2d6c626c6aa7aac061820e8828b857e/ghc" 9c7d065/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="9c7d0657e2d6c626c6aa7aac061820e8828b857e"
 Revert "Typeable: Allow App to match arrow types"

 This reverts commit cc6be3a2f23c9b2e04f9f491099149e1e1d4d20b.
 because it caused the regression #14270 which according to
 Richard probably doesn't have an easy fix. So this one goes
 back to the drawning board.

 This reopens #14236
 }}}

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