#8262: Ill-kinded value is not rejected immediately ------------------------------------------------+-------------------------- Reporter: monoidal | Owner: Type: bug | simonpj Priority: low | Status: closed Component: Compiler (Type checker) | Milestone: Resolution: fixed | Version: 7.7 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC accepts invalid program | Architecture: Test Case: typecheck/should_fail/T8262 | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by simonpj): Apologies, fixed. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8262#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler