diff options
Diffstat (limited to 'testsuite/tests/deriving/should_compile/T14579.stderr')
-rw-r--r-- | testsuite/tests/deriving/should_compile/T14579.stderr | 32 |
1 files changed, 16 insertions, 16 deletions
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: |