rts: Rename the nondescript initProfiling2 to refreshProfilingCCSs
[ghc.git] / testsuite / tests / gadt / data1.hs
1 {-# LANGUAGE GADTs #-}
2
3 -- #289
4
5 module ShouldCompile where
6
7 class C a where
8 f :: a -> Bool
9
10 data T a where
11 MkT :: (C a) => a -> T a
12
13 tf1 :: T Int -> Bool
14 tf1 (MkT aa) = f aa
15
16 tf2 :: T a -> Bool
17 tf2 (MkT aa) = f aa