Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / typecheck / should_run / tcrun037.hs
1 {-# LANGUAGE ConstrainedClassMethods #-}
2
3 module Main where
4
5 class C a where
6 op :: (Show a, Show b) => a -> b -> String
7 -- This class op has local quantification, but
8 -- also adds a constraint on 'a'
9
10 instance C Bool where
11 op x y = show x ++ " " ++ show y
12
13 main = do { putStrLn (op True 'x'); putStrLn (op False (3::Int)) }