#8634: Relax functional dependency coherence check ("liberal coverage condition") -------------------------------------+------------------------------------- Reporter: danilo2 | Owner: Type: feature request | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #1241, #2247, | Blocking: #8356, #9103, #9227 | Differential Revisions: Phab:D69 -------------------------------------+------------------------------------- Comment (by simonpj): It looks stalled to me. Wojciech was going to work on some aspects (notably making the pragma work per-instance rather than globally) but nothing has happened. I'm happy to advise anyone who wants to take up the cudgels here. It's not too hard, despite this very long thread. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8634#comment:60 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler