#9618: Undocument ImpredicativeTypes -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: | Version: 7.8.3 Documentation | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 Unknown/Multiple | hour) Type of failure: | Blocked By: Documentation bug | Related Tickets: #8808 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: => #8808 Comment: Perhaps never showing the following suggestion either, see `compiler/typecheck/TcErrors.lhs`: {{{ Perhaps you want ImpredicativeTypes }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9618#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler