Commit 9c64c3ff authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix test by adding a fundep on class A,

which makes the B instance legal again
parent fa0397f1
......@@ -5,7 +5,7 @@ module T5684 where
class B a b | a -> b where
op :: a -> b -> ()
class A a
class A a | -> a
instance A b => B Bool b
......
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