Commit 12098c2e authored by Matthew Pickering's avatar Matthew Pickering Committed by Ben Gamari

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:

GHC Trac Issues: #10787
parent 60120d28
......@@ -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 <literal>f1</literal> does not use pattern synonyms. To match against the
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment