#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:
----------------------------------------+-----------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => polykinds/T7916
* resolution: => fixed
Comment:
This patch is important too:
{{{
commit 09b025eabf08044b67d047b970cd99add97e9d77
Author: Simon Peyton Jones