[GHC] #11311: segmentation fault/panic with -XTypeInType and functions of type * -> *

[GHC]

#11311: segmentation fault/panic with -XTypeInType and functions of type * -> *
-------------------------------------+-------------------------------------
        Reporter:  rwbarton          |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash                              |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 There should be nothing wrong with specializing `id` to `* -> *`. `*` is a
 perfectly fine type that is uninhabited by terms.

 But clearly some part of GHC expects things of type `*` to be types. I
 will investigate.

 As for comment:1 : It would be nice to reject this without `-XTypeInType`,
 but arranging to snag all the things that used to be impossible is quite
 hard and would be rather invasive in GHC. With Simon's consultation, we
 decided to snag just the easy cases.

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