[GHC] #7312: panic! applytTypeToArgs with non-infix function type constructor

[GHC]

#7312: panic! applytTypeToArgs with non-infix function type constructor
------------------------------+---------------------------------------------
 Reporter:  jwlato            |          Owner:                         
     Type:  bug               |         Status:  new                    
 Priority:  normal            |      Component:  Compiler (Type checker)
  Version:  7.6.1             |       Keywords:                         
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple       
  Failure:  None/Unknown      |       Testcase:                         
Blockedby:                    |       Blocking:                         
  Related:                    |  
------------------------------+---------------------------------------------
 {{{

 module Foo where

 -- this works
 --mac :: Double -> (Double->Double) -> (Double-> Double)
 --mac ac m = \ x -> ac + x * m x

 -- this doesn't
 mac2 :: Double -> (->) Double Double -> (->) Double Double
 mac2 ac m = \ x -> ac + x * m x
 }}}

 Compiling this with ghc-7.6.1 results in
 {{{

 ghc: panic! (the 'impossible' happened)
   (GHC version 7.6.1 for x86_64-unknown-linux):
         applyTypeToArgs
     m{v af4} [lid] x{v af5} [lid]
     ghc-prim:GHC.Prim.(->){(w) tc 3D}
       ghc-prim:GHC.Types.Double{(w) tc 3u}
       ghc-prim:GHC.Types.Double{(w) tc 3u}
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7312>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler