[GHC] #13580: TypeApplications: panic from unknown function identifier

[GHC]

#13580: TypeApplications: panic from unknown function identifier
--------------------------------------+---------------------------------
           Reporter:  j6carey         |             Owner:  (none)
               Type:  bug             |            Status:  new
           Priority:  normal          |         Milestone:
          Component:  GHCi            |           Version:  8.0.2
           Keywords:                  |  Operating System:  Linux
       Architecture:  x86_64 (amd64)  |   Type of failure:  None/Unknown
          Test Case:                  |        Blocked By:
           Blocking:                  |   Related Tickets:
Differential Rev(s):                  |         Wiki Page:
--------------------------------------+---------------------------------
 Using type application with an unknown function identifier causes ghci to
 panic:
 {{{
 $ ghci
 GHCi, version 8.0.2: http://www.haskell.org/ghc/  :? for help
 Prelude> :set -XDataKinds
 Prelude> :set -XTypeApplications
 Prelude> foo @3
 ghc: panic! (the 'impossible' happened)
   (GHC version 8.0.2 for x86_64-unknown-linux):
         initTc: unsolved constraints
   WC {wc_insol =
         [W] foo_a12q :: t_a12p[tau:1] (CHoleCan: foo)
         [W] foo_a12O :: t_a12N[tau:1] (CHoleCan: foo)}

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

 Prelude>
 }}}

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