Commit f5a5229e authored by Iavor S. Diatchki's avatar Iavor S. Diatchki
Browse files

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.
parent b479c359
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment