diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-11 15:24:42 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-13 09:23:53 +0100 |
| commit | 037c2495d83bb7da7f15c8e076df2c575500d0fd (patch) | |
| tree | cafbf82bb7c3229a4b6e2fb3fd7b2cdb0cffa874 | |
| parent | e07cd507ff879a5afc382e1a28af0f5f17fa7ce6 (diff) | |
| download | haskell-037c2495d83bb7da7f15c8e076df2c575500d0fd.tar.gz | |
Fix a couple of user-manual typos
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 9d1ca195cc..40e3f82944 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -5241,7 +5241,7 @@ you can specify a default method that uses that generic implementation: :: We reuse the keyword ``default`` to signal that a signature applies to the default method only; when defining instances of the ``Enum`` class, the original type ``[a]`` of ``enum`` still applies. When giving an -empty instance, however, the default implementation ``map to genum`` is +empty instance, however, the default implementation ``(map to genum)`` is filled-in, and type-checked with the type ``(Generic a, GEnum (Rep a)) => [a]``. @@ -13970,7 +13970,7 @@ exposed to the user: :: class Serialize a where put :: a -> [Bin] - default put :: (Generic a, GSerialize (Rep a)) => a -> [Bit] + default put :: (Generic a, GSerialize (Rep a)) => a -> [Bin] put = gput . from Here we use a `default signature <#class-default-signatures>`__ to |
