[GHC] #15067: When Typeable and unboxed sums collide, GHC panics
GHC
ghc-devs at haskell.org
Fri Apr 20 09:49:57 UTC 2018
#15067: When Typeable and unboxed sums collide, GHC panics
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: Compiler (Type | Version: 8.4.1
checker) | Keywords: Typeable,
Resolution: | UnboxedSums
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time | Unknown/Multiple
crash or panic | Test Case:
Blocked By: | Blocking:
Related Tickets: #13276 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* related: => #13276
Comment:
Ah, #13276 claims that unboxed sums shouldn't be `Typeable` at all. I'm
fine with this, but it would be nice to have a proper error message in the
event one tries to do this instead of panicking. (The commit which
established this limitation, 42ff5d97b486d50b0d10e474f47e86822bb71ace,
didn't add any regression tests, which might explain why these
infelicities went unnoticed.)
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15067#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list