#7973: Simplifier introduces unbound kind variables (caught by -dcore-lint) --------------------------------------+------------------------------------- Reporter: diatchki | 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: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7973 | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => polykinds/T7973 Comment: Great point. Exposed a subtle bug, which I have now fixed. Thank you! Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7973#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler