[GHC] #9227: Coverage Condition cannot be turned off

GHC ghc-devs at haskell.org
Mon Jun 23 15:07:29 UTC 2014


#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


More information about the ghc-tickets mailing list