Fix #14578 by checking isCompoundHsType in more places
[ghc.git] / testsuite / tests / deriving / should_compile / T14578.stderr
1
2 ==================== Derived instances ====================
3 Derived class instances:
4   instance GHC.Base.Functor f =>
5            GHC.Base.Functor (T14578.App f) where
6     GHC.Base.fmap
7       = GHC.Prim.coerce
8           @(forall (a :: TYPE GHC.Types.LiftedRep)
9                    (b :: TYPE GHC.Types.LiftedRep).
10             a -> b -> f a -> f b)
11           @(forall (a :: TYPE GHC.Types.LiftedRep)
12                    (b :: TYPE GHC.Types.LiftedRep).
13             a -> b -> T14578.App f a -> T14578.App f b)
14           GHC.Base.fmap
15     (GHC.Base.<$)
16       = GHC.Prim.coerce
17           @(forall (a :: TYPE GHC.Types.LiftedRep)
18                    (b :: TYPE GHC.Types.LiftedRep).
19             a -> f b -> f a)
20           @(forall (a :: TYPE GHC.Types.LiftedRep)
21                    (b :: TYPE GHC.Types.LiftedRep).
22             a -> T14578.App f b -> T14578.App f a)
23           (GHC.Base.<$)
24   
25   instance GHC.Base.Applicative f =>
26            GHC.Base.Applicative (T14578.App f) where
27     GHC.Base.pure
28       = GHC.Prim.coerce
29           @(forall (a :: TYPE GHC.Types.LiftedRep). a -> f a)
30           @(forall (a :: TYPE GHC.Types.LiftedRep). a -> T14578.App f a)
31           GHC.Base.pure
32     (GHC.Base.<*>)
33       = GHC.Prim.coerce
34           @(forall (a :: TYPE GHC.Types.LiftedRep)
35                    (b :: TYPE GHC.Types.LiftedRep).
36             f (a -> b) -> f a -> f b)
37           @(forall (a :: TYPE GHC.Types.LiftedRep)
38                    (b :: TYPE GHC.Types.LiftedRep).
39             T14578.App f (a -> b) -> T14578.App f a -> T14578.App f b)
40           (GHC.Base.<*>)
41     GHC.Base.liftA2
42       = GHC.Prim.coerce
43           @(forall (a :: TYPE GHC.Types.LiftedRep)
44                    (b :: TYPE GHC.Types.LiftedRep)
45                    (c :: TYPE GHC.Types.LiftedRep).
46             a -> b -> c -> f a -> f b -> f c)
47           @(forall (a :: TYPE GHC.Types.LiftedRep)
48                    (b :: TYPE GHC.Types.LiftedRep)
49                    (c :: TYPE GHC.Types.LiftedRep).
50             a -> b -> c -> T14578.App f a -> T14578.App f b -> T14578.App f c)
51           GHC.Base.liftA2
52     (GHC.Base.*>)
53       = GHC.Prim.coerce
54           @(forall (a :: TYPE GHC.Types.LiftedRep)
55                    (b :: TYPE GHC.Types.LiftedRep).
56             f a -> f b -> f b)
57           @(forall (a :: TYPE GHC.Types.LiftedRep)
58                    (b :: TYPE GHC.Types.LiftedRep).
59             T14578.App f a -> T14578.App f b -> T14578.App f b)
60           (GHC.Base.*>)
61     (GHC.Base.<*)
62       = GHC.Prim.coerce
63           @(forall (a :: TYPE GHC.Types.LiftedRep)
64                    (b :: TYPE GHC.Types.LiftedRep).
65             f a -> f b -> f a)
66           @(forall (a :: TYPE GHC.Types.LiftedRep)
67                    (b :: TYPE GHC.Types.LiftedRep).
68             T14578.App f a -> T14578.App f b -> T14578.App f a)
69           (GHC.Base.<*)
70   
71   instance (GHC.Base.Applicative f, GHC.Base.Applicative g,
72             GHC.Base.Semigroup a) =>
73            GHC.Base.Semigroup (T14578.Wat f g a) where
74     (GHC.Base.<>)
75       = GHC.Prim.coerce
76           @(T14578.App (Data.Functor.Compose.Compose f g) a
77             -> T14578.App (Data.Functor.Compose.Compose f g) a
78                -> T14578.App (Data.Functor.Compose.Compose f g) a)
79           @(T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a)
80           (GHC.Base.<>)
81     GHC.Base.sconcat
82       = GHC.Prim.coerce
83           @(GHC.Base.NonEmpty (T14578.App (Data.Functor.Compose.Compose f g) a)
84             -> T14578.App (Data.Functor.Compose.Compose f g) a)
85           @(GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a)
86           GHC.Base.sconcat
87     GHC.Base.stimes
88       = GHC.Prim.coerce
89           @(forall (b :: TYPE GHC.Types.LiftedRep).
90             GHC.Real.Integral b =>
91             b
92             -> T14578.App (Data.Functor.Compose.Compose f g) a
93                -> T14578.App (Data.Functor.Compose.Compose f g) a)
94           @(forall (b :: TYPE GHC.Types.LiftedRep).
95             GHC.Real.Integral b => b -> T14578.Wat f g a -> T14578.Wat f g a)
96           GHC.Base.stimes
97   
98
99 Derived type family instances:
100
101
102
103 ==================== Filling in method body ====================
104 GHC.Base.Semigroup [T14578.App f[ssk:2] a[ssk:2]]
105   GHC.Base.sconcat = GHC.Base.$dmsconcat
106                        @(T14578.App f[ssk:2] a[ssk:2])
107
108
109
110 ==================== Filling in method body ====================
111 GHC.Base.Semigroup [T14578.App f[ssk:2] a[ssk:2]]
112   GHC.Base.stimes = GHC.Base.$dmstimes
113                       @(T14578.App f[ssk:2] a[ssk:2])
114
115