#7939: RHS of associated type not kind-checked ------------------------------------------+--------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Difficulty: Unknown Testcase: ghci/scripts/T7939 | Blockedby: Blocking: | Related: ------------------------------------------+--------------------------------- Changes (by goldfire): * status: new => closed * resolution: => fixed Comment: Most of the above commit are comments in TcHsType detailing the rather- subtle kind inference story. One aspect of the code did get simpler though: associated type families are now kind-checked identically to top-level families. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7939#comment:17 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler