Re: [GHC] #8634: Relax functional dependency coherence check ("liberal coverage condition")

14 Jul 2014


      #8634: Relax functional dependency coherence check ("liberal coverage condition")
----------------------------+----------------------------------------------
        Reporter:  danilo2  |            Owner:
            Type:  feature  |           Status:  new
  request                   |        Milestone:  7.10.1
        Priority:  high     |          Version:  7.7
       Component:           |         Keywords:
  Compiler                  |     Architecture:  Unknown/Multiple
      Resolution:           |       Difficulty:  Unknown
Operating System:           |       Blocked By:
  Unknown/Multiple          |  Related Tickets:  #1241, #2247, #8356, #9103
 Type of failure:           |
  None/Unknown              |
       Test Case:           |
        Blocking:           |
----------------------------+----------------------------------------------
Changes (by simonpj):

 * related:  #1241, #2247, #8356 => #1241, #2247, #8356, #9103


--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8634#comment:12
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler