#8953: Reification drops necessary kind annotations -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 7.9 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by goldfire): And, while I'm at it, much like in #8884, reified class instances include kind patterns. This needs to be fixed, too. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8953#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler