diff options
| author | Ningning Xie <xnningxie@gmail.com> | 2019-09-11 20:09:36 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-12 14:06:07 -0400 |
| commit | 867534750bcf66f6243f0b7d2d9ec11fa1defd04 (patch) | |
| tree | 01c5f6addd32652dd7ef221790b00f566532de26 /docs/users_guide/glasgow_exts.rst | |
| parent | 2b37a79d61e9b3787873dc9f7458ef2bde4809b0 (diff) | |
| download | haskell-867534750bcf66f6243f0b7d2d9ec11fa1defd04.tar.gz | |
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`.
Diffstat (limited to 'docs/users_guide/glasgow_exts.rst')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 513a787de2..2e5619ec33 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -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`). |