diff options
| -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 |