Move tests from tests/ghc-regress/* to just tests/*
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail149.hs
1 module Main where
2
3 class C a where
4 op :: (Show a, Show b) => a -> b -> String
5 -- This class op adds a constraint on 'a'
6
7 -- In GHC 7.0 this is fine, and it's a royal
8 -- pain to reject it when in H98 mode, so
9 -- I'm just allowing it
10
11 instance C Int where
12 op x y = show x ++ " " ++ show y
13
14 main = print (op (1::Int) 2)