
#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: infoneeded 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: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: patch => infoneeded Comment: @monoidal: What's the status here? Would you like to merge these patches yourself and get the changed merged to Judah's repository for this to land? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/4426#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler