#11982: Typechecking fails for parallel monad comprehensions with polymorphic let -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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: | -------------------------------------+------------------------------------- Comment (by simonpj): Yes the ''output'' of typechecking is impredicative, but the input is not, and plainly should not be rejected. But we may not want to just "enable impredicativity" because that ma allow too much. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11982#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler