#7341: Kind inference does not propagate annotations on associated types
------------------------------+---------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.7 | Keywords: PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby: | Blocking:
Related: |
------------------------------+---------------------------------------------
Comment(by simonpj@…):
commit 4a738e172b53ea4c24c97ab52bfdf1ae2742bb1b
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Fri Oct 19 20:30:29 2012 +0100
Simplify and clean up kind-checking of type/class declarations
This fixes Trac #7341
compiler/typecheck/TcHsType.lhs | 39
++++++++++++++++++-----------------
compiler/typecheck/TcTyClsDecls.lhs | 34 +++++++++++++++++++----------
2 files changed, 42 insertions(+), 31 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7341#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
