[commit: testsuite] master: Add a missing FD on `Add`, otherwise the test is (correctly) rejected. (384f47e)

Iavor Diatchki diatchki at galois.com
Mon Jan 14 01:31:38 CET 2013


Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/384f47e997c800f96d821cdef252923d850abbb0

>---------------------------------------------------------------

commit 384f47e997c800f96d821cdef252923d850abbb0
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun Jan 13 16:31:33 2013 -0800

    Add a missing FD on `Add`, otherwise the test is (correctly) rejected.
    
    The reason is the we don't automatically inherit the FDs of
    super-classes.

>---------------------------------------------------------------

 tests/typecheck/should_compile/T6055.hs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tests/typecheck/should_compile/T6055.hs b/tests/typecheck/should_compile/T6055.hs
index beede55..dcc39d1 100644
--- a/tests/typecheck/should_compile/T6055.hs
+++ b/tests/typecheck/should_compile/T6055.hs
@@ -21,7 +21,7 @@ class Add' x y z | x y -> z
 instance Succ y z => Add' D1 y z
 
 
-class (Add' x y z) => Add x y z
+class (Add' x y z) => Add x y z | x y -> z
 instance (Add' D1 y z) => Add D1 y z
 
 





More information about the ghc-commits mailing list