[GHC] #11048: Kind Incompatibility in GHC 7.6.3

[GHC]

#11048: Kind Incompatibility in GHC 7.6.3
----------------------------------------+---------------------------------
           Reporter:  skatenerd         |             Owner:
               Type:  bug               |            Status:  new
           Priority:  normal            |         Milestone:
          Component:  Compiler          |           Version:  7.6.3
           Keywords:                    |  Operating System:  Linux
       Architecture:  Unknown/Multiple  |   Type of failure:  None/Unknown
          Test Case:                    |        Blocked By:
           Blocking:                    |   Related Tickets:
Differential Rev(s):                    |         Wiki Page:
----------------------------------------+---------------------------------
 In
 [https://github.com/skatenerd/vectorracing/commit/ddb950a3c89f7ba5aae84050d278a643769d3a5e
 this commit] I have added a line with an intentionally missing dollar-
 sign.  This should result in a mundane build failure, but instead, GHC
 produces this message:


 {{{
 src/Main.hs:50:3:
     Couldn't match kind `* -> *' with `*'
     Expected type: Window -> Maybe Integer -> t0 Curses (Maybe Event)
       Actual type: Window -> Maybe Integer -> t0 Curses (Maybe Event)
     Kind incompatibility when matching types:
       Window :: * -> *
       Window :: *
     The function `lift'ghc: panic! (the 'impossible' happened)
   (GHC version 7.6.3 for x86_64-unknown-linux):
         kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}

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

 }}}

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