[GHC] #15343: Implicitly quantifying a kind variable causes GHC 8.6 to panic (coercionKind)
GHC
ghc-devs at haskell.org
Wed Jul 4 18:47:11 UTC 2018
#15343: Implicitly quantifying a kind variable causes GHC 8.6 to panic
(coercionKind)
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: (none)
Type: bug | Status: new
Priority: high | Milestone: 8.6.1
Component: Compiler (Type | Version: 8.5
checker) |
Resolution: | Keywords: TypeInType
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time | Unknown/Multiple
crash or panic | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* cc: goldfire (added)
Comment:
This started panicking in commit e3dbb44f53b2f9403d20d84e27f187062755a089
(Fix #12919 by making the flattener homegeneous.)
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15343#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list