diff options
author | Benjamin Hodgson <bhodgson@stackoverflow.com> | 2017-08-22 13:11:43 +0100 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-08-22 11:10:02 -0400 |
commit | 028645ce67003f954e71c5a624c158c184506639 (patch) | |
tree | e7bddf063a0d7665ca983b2451c72f99a78750d5 /libraries/template-haskell | |
parent | 090d8960b0fc9c50edc547a334a63d783224933f (diff) | |
download | haskell-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.hs | 2 |
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@ |