diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2015-08-30 18:31:01 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-08-30 18:31:02 +0200 |
| commit | 12098c2e70b2a432f4ed675ed72b53a396cb2842 (patch) | |
| tree | bbbbaadd96a056f87581555aac1876fa36ea456d | |
| parent | 60120d2848ce05de6cb152429cf7d4116c6b4528 (diff) | |
| download | haskell-12098c2e70b2a432f4ed675ed72b53a396cb2842.tar.gz | |
Fix typo in pattern synonym documentation.HEAD
`MkT` is the name of the constructor whilst `T` is the name of
the type.
Reviewers: bgamari, austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1191
GHC Trac Issues: #10787
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 909d841d0e..92cbdc05a7 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -1095,13 +1095,13 @@ For example, consider data T a where MkT :: (Show b) => a -> b -> T a -f1 :: (Eq a, Num a) => MkT a -> String +f1 :: (Eq a, Num a) => T a -> String f1 (MkT 42 x) = show x pattern ExNumPat :: (Show b) => (Num a, Eq a) => b -> T a pattern ExNumPat x = MkT 42 x -f2 :: (Eq a, Num a) => MkT a -> String +f2 :: (Eq a, Num a) => T a -> String f2 (ExNumPat x) = show x </programlisting> Here <literal>f1</literal> does not use pattern synonyms. To match against the |