projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 874578b) | patch
Fix trac #2307: conflicting functional dependencies
authorIan Lynagh <igloo@earth.li>
Thu, 3 Jul 2008 19:25:40 +0000 (19:25 +0000)
committerIan Lynagh <igloo@earth.li>
Thu, 3 Jul 2008 19:25:40 +0000 (19:25 +0000)
commit37cc35d23202c9846e68e4c0a279fa75273f6f1c
treecfa32ca48e2dc6fd25d2a7baf9991fabda8b8b0atree | snapshot
parent874578b8f8a2c9a1e2d1cdb75a4f17ea7c80a63bcommit | diff
Fix trac #2307: conflicting functional dependencies
We were accepting some instances that should have been rejected as
their fundep constraints were violated. e.g. we accepted
    class C a b c | b -> c
    instance C Bool Int Float
    instance C Char Int Double
compiler/types/FunDeps.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)