#10325: Clearify status of ImpredicativeTypes Extension -------------------------------------+------------------------------------- Reporter: j80JjBjVNRMajmA | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9618, #10281 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"c715166f9860635d84e4beaa76bf4e23ab764342/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="c715166f9860635d84e4beaa76bf4e23ab764342" Improve error reporting for impredicative types Don't suggest -XImpredicativeTypes; and document its flakiness Fixes Trac #10325 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10325#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler