#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: low | 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 monoidal): * status: infoneeded => patch * differential: => Phab:D211 Comment: The patch (ghc+haddock) is ready for review in Phabricator, and the change to haskeline was merged. There are only minor changes since the previous patch - I've clarified the documentation and updated TH testcases that were created in the meantime. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/4426#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler