diff options
Diffstat (limited to 'testsuite/tests/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/T14578.stderr | 62 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_compile/T14579.stderr | 32 |
2 files changed, 47 insertions, 47 deletions
diff --git a/testsuite/tests/deriving/should_compile/T14578.stderr b/testsuite/tests/deriving/should_compile/T14578.stderr index 0c0fb641f7..c61f5d7422 100644 --- a/testsuite/tests/deriving/should_compile/T14578.stderr +++ b/testsuite/tests/deriving/should_compile/T14578.stderr @@ -1,6 +1,37 @@ ==================== Derived instances ==================== Derived class instances: + instance (GHC.Base.Applicative f, GHC.Base.Applicative g, + GHC.Base.Semigroup a) => + GHC.Base.Semigroup (T14578.Wat f g a) where + (GHC.Base.<>) + = GHC.Prim.coerce + @(T14578.App (Data.Functor.Compose.Compose f g) a + -> T14578.App (Data.Functor.Compose.Compose f g) a + -> T14578.App (Data.Functor.Compose.Compose f g) a) + @(T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a) + ((GHC.Base.<>) + @(T14578.App (Data.Functor.Compose.Compose f g) a)) :: + T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a + GHC.Base.sconcat + = GHC.Prim.coerce + @(GHC.Base.NonEmpty (T14578.App (Data.Functor.Compose.Compose f g) a) + -> T14578.App (Data.Functor.Compose.Compose f g) a) + @(GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a) + (GHC.Base.sconcat + @(T14578.App (Data.Functor.Compose.Compose f g) a)) :: + GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a + GHC.Base.stimes + = GHC.Prim.coerce + @(b + -> T14578.App (Data.Functor.Compose.Compose f g) a + -> T14578.App (Data.Functor.Compose.Compose f g) a) + @(b -> T14578.Wat f g a -> T14578.Wat f g a) + (GHC.Base.stimes + @(T14578.App (Data.Functor.Compose.Compose f g) a)) :: + forall (b :: TYPE GHC.Types.LiftedRep). + GHC.Real.Integral b => b -> T14578.Wat f g a -> T14578.Wat f g a + instance GHC.Base.Functor f => GHC.Base.Functor (T14578.App f) where GHC.Base.fmap @@ -61,37 +92,6 @@ Derived class instances: (b :: TYPE GHC.Types.LiftedRep). T14578.App f a -> T14578.App f b -> T14578.App f a - instance (GHC.Base.Applicative f, GHC.Base.Applicative g, - GHC.Base.Semigroup a) => - GHC.Base.Semigroup (T14578.Wat f g a) where - (GHC.Base.<>) - = GHC.Prim.coerce - @(T14578.App (Data.Functor.Compose.Compose f g) a - -> T14578.App (Data.Functor.Compose.Compose f g) a - -> T14578.App (Data.Functor.Compose.Compose f g) a) - @(T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a) - ((GHC.Base.<>) - @(T14578.App (Data.Functor.Compose.Compose f g) a)) :: - T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a - GHC.Base.sconcat - = GHC.Prim.coerce - @(GHC.Base.NonEmpty (T14578.App (Data.Functor.Compose.Compose f g) a) - -> T14578.App (Data.Functor.Compose.Compose f g) a) - @(GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a) - (GHC.Base.sconcat - @(T14578.App (Data.Functor.Compose.Compose f g) a)) :: - GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a - GHC.Base.stimes - = GHC.Prim.coerce - @(b - -> T14578.App (Data.Functor.Compose.Compose f g) a - -> T14578.App (Data.Functor.Compose.Compose f g) a) - @(b -> T14578.Wat f g a -> T14578.Wat f g a) - (GHC.Base.stimes - @(T14578.App (Data.Functor.Compose.Compose f g) a)) :: - forall (b :: TYPE GHC.Types.LiftedRep). - GHC.Real.Integral b => b -> T14578.Wat f g a -> T14578.Wat f g a - Derived type family instances: diff --git a/testsuite/tests/deriving/should_compile/T14579.stderr b/testsuite/tests/deriving/should_compile/T14579.stderr index 133ba6fb2f..d32d06b289 100644 --- a/testsuite/tests/deriving/should_compile/T14579.stderr +++ b/testsuite/tests/deriving/should_compile/T14579.stderr @@ -1,22 +1,6 @@ ==================== Derived instances ==================== Derived class instances: - instance forall a (x :: Data.Proxy.Proxy a). - GHC.Classes.Eq a => - GHC.Classes.Eq (T14579.Wat x) where - (GHC.Classes.==) - = GHC.Prim.coerce - @(GHC.Maybe.Maybe a -> GHC.Maybe.Maybe a -> GHC.Types.Bool) - @(T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool) - ((GHC.Classes.==) @(GHC.Maybe.Maybe a)) :: - T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool - (GHC.Classes./=) - = GHC.Prim.coerce - @(GHC.Maybe.Maybe a -> GHC.Maybe.Maybe a -> GHC.Types.Bool) - @(T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool) - ((GHC.Classes./=) @(GHC.Maybe.Maybe a)) :: - T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool - instance GHC.Classes.Eq a => GHC.Classes.Eq (T14579.Glurp a) where (GHC.Classes.==) = GHC.Prim.coerce @@ -33,6 +17,22 @@ Derived class instances: ((GHC.Classes./=) @(T14579.Wat @a (Data.Proxy.Proxy @a))) :: T14579.Glurp a -> T14579.Glurp a -> GHC.Types.Bool + instance forall a (x :: Data.Proxy.Proxy a). + GHC.Classes.Eq a => + GHC.Classes.Eq (T14579.Wat x) where + (GHC.Classes.==) + = GHC.Prim.coerce + @(GHC.Maybe.Maybe a -> GHC.Maybe.Maybe a -> GHC.Types.Bool) + @(T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool) + ((GHC.Classes.==) @(GHC.Maybe.Maybe a)) :: + T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool + (GHC.Classes./=) + = GHC.Prim.coerce + @(GHC.Maybe.Maybe a -> GHC.Maybe.Maybe a -> GHC.Types.Bool) + @(T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool) + ((GHC.Classes./=) @(GHC.Maybe.Maybe a)) :: + T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool + Derived type family instances: |