#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: highest | Version: 6.12.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7880 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D211 | -------------------------------------+------------------------------------- Changes (by simonpj): * priority: low => highest * status: closed => new * resolution: fixed => Comment: No, now, let's not close this. There's a pending change for 7.12, namely * making the warnings into an error. * getting rid of the `Qualified` constructor in `HsExplicitFlag` (we can use `Explicit` instead) * remove or deprecate `fwarn-context-quantification` (I suppose it should be deprecated until 7.14, sigh.) 7.12 isn't a milestone yet (Austin can you fix that?), so I'll milestone it for 7.10 so it doesn't get lost. I'll give it "highest" priority not because it's terribly vital but because it's easy and it'd be untidy to let it linger. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/4426#comment:17 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler