Add a missing FD on `Add`, otherwise the test is (correctly) rejected.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Mon, 14 Jan 2013 00:31:33 +0000 (16:31 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Mon, 14 Jan 2013 00:31:33 +0000 (16:31 -0800)
The reason is the we don't automatically inherit the FDs of
super-classes.

testsuite/tests/typecheck/should_compile/T6055.hs

index beede55..dcc39d1 100644 (file)
@@ -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