3cbac10ac9f688369fc370ad65804af4466dc50c
[ghc.git] / testsuite / tests / th / T7064.stdout
1 f1_0 x_1 = 1
2 f2_0 x_1 = 2
3 f3_0 x_1 = 3
4 {-# INLINE f1_0 #-}
5 {-# INLINE [2] f2_0 #-}
6 {-# INLINE CONLIKE [~2] f3_0 #-}
7 g1_0 x_1 = 1
8 g2_0 x_1 = 2
9 g3_0 x_1 = 3
10 {-# SPECIALISE g1_0 :: GHC.Types.Int -> GHC.Types.Int #-}
11 {-# SPECIALISE [2] g2_0 :: GHC.Types.Int -> GHC.Types.Int #-}
12 {-# SPECIALISE INLINE [~2] g3_0 ::
13                              GHC.Types.Int -> GHC.Types.Int #-}
14 data T_0 a_1 = T_2 a_1
15 instance GHC.Classes.Eq a_0 => GHC.Classes.Eq (T_1 a_0)
16     where (GHC.Classes.==) (T_2 x_3) (T_2 y_4) = x_3 GHC.Classes.== y_4
17           {-# SPECIALISE instance GHC.Classes.Eq (T_1 GHC.Types.Int) #-}
18 {-# RULES "rule1"
19     GHC.Real.fromIntegral
20     = GHC.Base.id :: forall a_0 . a_0 -> a_0 #-}
21 {-# RULES "rule2" [1]
22     forall (x_0 :: a_1) . GHC.Real.fromIntegral x_0
23     = x_0 #-}
24 {-# RULES "rule3" [~1]
25     forall (x_0 :: a_1) . GHC.Real.fromIntegral x_0
26     = x_0 #-}