diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-07-29 20:23:53 +0200 |
---|---|---|
committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-07-30 15:05:36 +0200 |
commit | 251dc91486126f3f1d1692963d596e05186bb2b8 (patch) | |
tree | 3dcfee1f81925974967e1a0ba4969bf8fe6771ae /libraries/template-haskell/Language/Haskell/TH/Syntax.hs | |
parent | 10678945c1d3261273a1d7a389d14a69f4e28567 (diff) | |
download | haskell-wip/T20183.tar.gz |
Disallow nonlinear fields in Template Haskell (#18378)wip/T20183
Diffstat (limited to 'libraries/template-haskell/Language/Haskell/TH/Syntax.hs')
-rw-r--r-- | libraries/template-haskell/Language/Haskell/TH/Syntax.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs index 8f8ddaf1e8..44b33a217b 100644 --- a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs +++ b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs @@ -2545,6 +2545,10 @@ data DecidedStrictness = DecidedLazy -- @ -- -- In @MkBar@, 'ForallC' will quantify @a@, @b@, and @c@. +-- +-- Multiplicity annotations for data types are currently not supported +-- in Template Haskell (i.e. all fields represented by Template Haskell +-- will be linear). data Con = NormalC Name [BangType] -- ^ @C Int a@ | RecC Name [VarBangType] -- ^ @C { v :: Int, w :: a }@ | InfixC BangType Name BangType -- ^ @Int :+ a@ |