#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 <simonpj@microsoft.com> Date: Wed May 22 17:43:56 2013 +0100 Wibbles to yesterday's "Simplify kind generalisation" patch In particular, in mkExport we must quantify over the kind variables mentioned in the kinds of the free type variables }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7916#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler