Re: [GHC] #14308: GHC panic with invalid expression

3 Oct 2017

      #14308: GHC panic with invalid expression
---------------------------------+----------------------------------------
        Reporter:  d6e           |                Owner:  (none)
            Type:  bug           |               Status:  new
        Priority:  normal        |            Milestone:
       Component:  Compiler      |              Version:  8.2.1
      Resolution:                |             Keywords:
Operating System:  MacOS X       |         Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown  |            Test Case:
      Blocked By:                |             Blocking:
 Related Tickets:                |  Differential Rev(s):
       Wiki Page:                |
---------------------------------+----------------------------------------

Comment (by simonpj):

 Maybe this has been fixed?
 {{{
 GHCi, version 8.2.1.20170831: http://www.haskell.org/ghc/  :? for help
 Prelude> id :: (a->b) a

 <interactive>:1:7: error:
     • Expecting one fewer arguments to ‘a -> b’
       Expected kind ‘* -> *’, but ‘a -> b’ has kind ‘*’
     • In an expression type signature: (a -> b) a
       In the expression: id :: (a -> b) a
       In an equation for ‘it’: it = id :: (a -> b) a
 }}}
 Looks very like #14232, #14110 and friends

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14308#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler