#11442: Segfault when showing (undefined :: Type) -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.1 Resolution: duplicate | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * resolution: => duplicate Comment: This was fixed yesterday. (Dup of #11311). In answer to your question: `Void` and `Type` are both (currently) empty in terms. But `Void` is also empty in types, whereas `Type` is (obviously) not. Do not use `Type` as a substitution for `Void`, please, though, as the long-term plan includes inhabiting `Type` in terms. After all, `Type` and `TypeRep` really should be the same. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11442#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler