#8907: Un-zonked kind variable passes through type checker -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.8.1-rc2 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * priority: normal => low Comment: Richard, can this ticket be closed? Output with ghc-7.10.3 is: {{{ [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) TYPE SIGNATURES TYPE CONSTRUCTORS type role Poly{tc} phantom data Poly{tc} (a :: k) COERCION AXIOMS Dependent modules: [] Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0, integer-gmp-1.0.0.0] Bug.hs:1:1: ==================== Typechecker ==================== }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8907#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler