testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc082.hs
1 -- !!! tc082: an instance for functions
2 --
3 module ShouldSucceed where
4
5 class Normal a
6 where
7 normal :: a -> Bool
8
9 instance Normal ( a -> b ) where
10 normal _ = True
11
12 f x = normal id