testsuite/tests/typecheck/should_compile/tc172.hs


1
2
3
4
5
6
7
8
9
10
11

module Test where

class C s where
   foo :: (Int -> Int) -> s -> s

instance C Int where
   foo = undefined --prevent warning

bar _ = baz where
   baz :: C s => s -> s
   baz = foo baz