#11465: Eliminate check_lifted check in TcValidity -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In `TcValidity`, when checking for valid types, we had a long-standing test, embodied in a local function called `check_lifted`, which checked that a number of places had a lifted type of kind `*` and not an unlifted one of kind `#`. But that test is out-dated now; the kind system does the job. So this ticket is to remove the `check_lifted` test. See the discussion in #11120, starting at comment:19. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11465 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler