#9227: Coverage Condition cannot be turned off ----------------------------+---------------------------------------------- Reporter: | Owner: augustss | Status: new Type: bug | Milestone: Priority: normal | Version: 7.8.2 Component: | Keywords: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: #1241, #2247, #8356, #8634 Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Changes (by rwbarton): * related: => #1241, #2247, #8356, #8634 Comment: Without the Coverage Condition, functional dependencies are not actually functional at all. See #1241 for the original change, and #2247, #8356, #8634 (and probably others) for further discussion. Indeed, it looks like the documentation has not been updated. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9227#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler