Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[ghc.git] / testsuite / tests / typecheck / should_compile / tc050.hs
1 module ShouldSucceed where
2
3 class Foo a where
4 o_and :: a -> a -> a
5
6
7 instance Foo Bool where
8 o_and False x = False
9 o_and x False = False
10 o_and True True = True
11
12
13 instance Foo Int where
14 o_and x 0 = 0
15 o_and 0 x = 0
16 o_and 1 1 = 1
17
18
19 f x y = o_and x False
20
21 g x y = o_and x 1
22
23