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

[GHC]

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

Comment(by simonpj@…):

 commit 9991890d284272e03f95ad9995bf21ec56ec7524
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Wed Oct 10 19:10:18 2012 +0100

     Ensure we produce a FunTy for functions (Trac #7312)

     The issue here was with a function type written prefix
       (->) a b
     where we were not generating a FunTy, which blew the
     invariant that function types are always FunTys.  We
     can't look at the TyCon directly because it may be
     knot-tied, so we look at the name instead.

  compiler/typecheck/TcHsType.lhs |   35
 +++++++++++++++++++++++++++--------
  1 files changed, 27 insertions(+), 8 deletions(-)
 }}}

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