From 12098c2e70b2a432f4ed675ed72b53a396cb2842 Mon Sep 17 00:00:00 2001 From: Matthew Pickering Date: Sun, 30 Aug 2015 18:31:01 +0200 Subject: Fix typo in pattern synonym documentation. `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 --- docs/users_guide/glasgow_exts.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') 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 Here f1 does not use pattern synonyms. To match against the -- cgit v1.2.1