Commit 292f99c8 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix Test by adding a fundep to make the (Concete a b) instance legal

parent 9c64c3ff
...@@ -10,7 +10,9 @@ module FooModule where ...@@ -10,7 +10,9 @@ module FooModule where
class Concrete a b | a -> b where class Concrete a b | a -> b where
bar :: a -> String bar :: a -> String
instance (Show a) => Concrete a b where class Wuggle b | -> b -- To make the Concrete instance work
instance (Show a, Wuggle b) => Concrete a b where
bar = error "urk" bar = error "urk"
wib :: Concrete a b => a -> String wib :: Concrete a b => a -> String
......
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