#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