blob: b42374f5e21944e838109099b4fbf790642897f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
-- !!! a very simple test of class and instance declarations
module ShouldSucceed where
class H a where
op1 :: a -> a -> a
instance H Bool where
op1 x y = y
f :: Bool -> Int -> Bool
f x y = op1 x x
|