#15804: GHC panic (Visible kind application diff): data T :: (a :: k) -> * -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.1 Resolution: | Keywords: | TypeApplications Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Actually, I should clarify my previous statement: you will never see an `ASSERT` failure on a released version of GHC, since they only appear when you build GHC with extra compile-time checks. (I'm guessing you're building with the `devel2` build flavour or something similar.) So it's not at all surprising that this doesn't fire on 8.6.1. Another possibility is that if you built 8.6.1 with `ASSERT`s enabled, then you'd also see this failure there. That would be worth a try. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15804#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler