summaryrefslogtreecommitdiff
path: root/libraries/template-haskell
diff options
context:
space:
mode:
authorBenjamin Hodgson <bhodgson@stackoverflow.com>2017-08-22 13:11:43 +0100
committerBen Gamari <ben@smart-cactus.org>2017-08-22 11:10:02 -0400
commit028645ce67003f954e71c5a624c158c184506639 (patch)
treee7bddf063a0d7665ca983b2451c72f99a78750d5 /libraries/template-haskell
parent090d8960b0fc9c50edc547a334a63d783224933f (diff)
downloadhaskell-028645ce67003f954e71c5a624c158c184506639.tar.gz
Fixed a typo in template-haskell documentation
The documentation for `Type`'s `ForallT` constructor had a typo (pun not intended). `ctxt` is separated from `type` in the surface syntax by a fat arrow (`=>`), not a thin arrow (`->`).
Diffstat (limited to 'libraries/template-haskell')
-rw-r--r--libraries/template-haskell/Language/Haskell/TH/Syntax.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs
index b8e1601456..aacc8c3db1 100644
--- a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs
+++ b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs
@@ -1905,7 +1905,7 @@ data PatSynArgs
| RecordPatSyn [Name] -- ^ @pattern P { {x,y,z} } = p@
deriving( Show, Eq, Ord, Data, Generic )
-data Type = ForallT [TyVarBndr] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> -> \<type\>@
+data Type = ForallT [TyVarBndr] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> => \<type\>@
| AppT Type Type -- ^ @T a b@
| SigT Type Kind -- ^ @t :: k@
| VarT Name -- ^ @a@