Commit 86753475 authored by Ningning Xie's avatar Ningning Xie Committed by Marge Bot
Browse files

Fix StandaloneDeriving

If I understand correctly, `deriving instance _ => Eq (Foo a)`
is equivalent to `data Foo a deriving Eq`, rather than
`data Foo a deriving Foo`.
parent 2b37a79d
Pipeline #10130 failed with stages
in 446 minutes and 4 seconds
......@@ -4039,7 +4039,7 @@ number of important ways:
 
deriving instance _ => Eq (Foo a)
 
This is essentially the same as if you had written ``deriving Foo`` after
This is essentially the same as if you had written ``deriving Eq`` after
the declaration for ``data Foo a``. Using this feature requires the use of
:extension:`PartialTypeSignatures` (:ref:`partial-type-signatures`).
 
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment