#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): It's entirely possible that this is due to some other change that was introduced between 8.6.1 and HEAD. Since you're filing bug reports about code that hasn't even shipped yet, I'd think the task falls upon you to check this :) Do you mind building GHC HEAD from `master` and seeing if this bug can be reproduced from there as well? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15804#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler