Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc062.hs
1 module ShouldSucceed where
2
3 class Eq1 a where
4 deq :: a -> a -> Bool
5
6 instance Eq1 Int where
7 deq x y = True
8
9 instance (Eq1 a) => Eq1 [a] where
10 deq (a:as) (b:bs) = if (deq a b) then (deq as bs) else False
11
12 f x (y:ys) = deq x ys