Fix typo in pattern synonym documentation.
authorMatthew Pickering <matthewtpickering@gmail.com>
Sun, 30 Aug 2015 16:31:01 +0000 (18:31 +0200)
committerBen Gamari <ben@smart-cactus.org>
Sun, 30 Aug 2015 16:31:02 +0000 (18:31 +0200)
`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

index 909d841..92cbdc0 100644 (file)
@@ -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