#7601: Internal error with kind annotation on associated type family -----------------------------+---------------------------------------------- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: polykinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Comment(by simonpj@…): commit 82219ae218ac7e51e6d160cadd16dc030fa9c004 {{{ Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Fri Jan 25 13:20:37 2013 +0000 The type/kind variables of a class decl scope over the associated types Fixes Trac #7601 compiler/typecheck/TcTyClsDecls.lhs | 67 +++++++++++++++-------------------- 1 files changed, 29 insertions(+), 38 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7601#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler