[GHC] #11442: Segfault when showing (undefined :: Type)
GHC
ghc-devs at haskell.org
Sat Jan 16 22:02:34 UTC 2016
#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
More information about the ghc-tickets
mailing list