blob: df9deb08aaeafdb96be7b9582e5beb1d8fcac365 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module ShouldSucceed where
class Eq' a where
doubleeq :: a -> a -> Bool
class (Eq' a) => Ord' a where
lt :: a -> a -> Bool
instance Eq' Int where
doubleeq x y = True
instance Ord' Int where
lt x y = True
f x y | lt x 1 = True
| otherwise = False
|