diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-15 11:51:28 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-12-17 21:24:33 -0500 |
| commit | abef93f3596b048fbd71afafbd5fddffa877004c (patch) | |
| tree | 49ab34f7f6e8841643936ee2039d14c312451373 | |
| parent | fc9b17552ce8cb93ab4101e1daf3dafcdbb06179 (diff) | |
| download | haskell-abef93f3596b048fbd71afafbd5fddffa877004c.tar.gz | |
Expand documentation for MulArrowT constructor
Fixes #20812
| -rw-r--r-- | libraries/template-haskell/Language/Haskell/TH/Syntax.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs index 6991d77227..fd03edb872 100644 --- a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs +++ b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs @@ -2648,7 +2648,9 @@ data Type = ForallT [TyVarBndr Specificity] Cxt Type -- ^ @forall \<vars\>. \<ct | UnboxedTupleT Int -- ^ @(\#,\#), (\#,,\#), etc.@ | UnboxedSumT SumArity -- ^ @(\#|\#), (\#||\#), etc.@ | ArrowT -- ^ @->@ - | MulArrowT -- ^ @FUN@ + | MulArrowT -- ^ @%n ->@ + -- + -- Generalised arrow type with multiplicity argument | EqualityT -- ^ @~@ | ListT -- ^ @[]@ | PromotedTupleT Int -- ^ @'(), '(,), '(,,), etc.@ |