#11520: GHC falls into a hole if given incorrect kind signature -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler (Type | Version: 8.0.1-rc1 checker) | Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I'd like to try wrapping `solveEqualities` in `checkNoErrs`. Yes, we fail more, but let's see if that worsens behaviour. My reasoning: if we take a type signature that has kind errors in it, and proceed onwards with a kind-incorrect type, we are likely to get hard-to- explain knock-on errors down the line. Let's fail faster. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11520#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler