#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: bgamari Type: feature request | Status: patch Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #7880 | Differential Rev(s): Phab:D211, Wiki Page: | Phab:D1615 -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"ddde542dbcb088e0a10aa3cdc3e0aef0a1c4a9b7/ghc" ddde542d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="ddde542dbcb088e0a10aa3cdc3e0aef0a1c4a9b7" DynFlags Remove -fwarn-context-quantification flag As mentioned in #4426 these warnings are now errors since the Great Wildcards Refactor of 2015 (1e041b7382b6aa329e4ad9625439f811e0f27232). I've opened #11221 to ensure we remove the last traces of the option in 8.2. Test Plan: validate Reviewers: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1615 GHC Trac Issues: #4426 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler