Ticket #927: Foo.hs

File Foo.hs, 148 bytes (added by guest, 9 years ago)

module containing the definition compiled with a too restricted type

Line 
1module M where
2
3class C a b | a -> b where
4  same :: a -> b
5
6instance C () ()
7
8instance C a b => C (c -> a) (c -> b)
9
10foo = same (const ())