#7916: PolyKinds without type signatures
----------------------------------------+-----------------------------------
Reporter: monoidal | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.7
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Difficulty: Unknown
Testcase: polykinds/T7916 | Blockedby:
Blocking: | Related:
----------------------------------------+-----------------------------------
Comment(by simonpj):
Thank you for such a nice well characterised bug report.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7916#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
