diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-04-01 12:02:46 +0200 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-01 11:17:56 +0100 |
| commit | d85c7dcb7c457efc23b20ac8f4e4ae88bae5b050 (patch) | |
| tree | 6a052785be9dd3b67e42637102de21f0630f6ddf /docs | |
| parent | 950f58e7bf584ec6970327ac7c7ae3f3fdbc9882 (diff) | |
| download | haskell-d85c7dcb7c457efc23b20ac8f4e4ae88bae5b050.tar.gz | |
Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batch
This patch adds a PromotionFlag field to HsOpTy, which is used
in pretty-printing and when determining whether to emit warnings
with -fwarn-unticked-promoted-constructors.
This allows us to correctly report tick-related warnings for things
like:
type A = Int : '[]
type B = [Int, Bool]
Updates haddock submodule
Fixes #19984
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/9.4.1-notes.rst | 4 | ||||
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 7 |
2 files changed, 11 insertions, 0 deletions
diff --git a/docs/users_guide/9.4.1-notes.rst b/docs/users_guide/9.4.1-notes.rst index a77b6b451b..2576a21cea 100644 --- a/docs/users_guide/9.4.1-notes.rst +++ b/docs/users_guide/9.4.1-notes.rst @@ -383,3 +383,7 @@ Compiler - GHC no longer carries ``Derived`` constraints. Accordingly, several functions in the plugin architecture that previously passed or received three sets of constraints (givens, deriveds, and wanteds) now work with two such sets. + +- A new argument has been added to the ``HsOpTy`` constructor of the ``HsType`` + datatype, to track the presence of a promotion tick. Plugins which manipulate + the Haskell AST will need to take this change into account. diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index 9eaf63ed80..13c04f7d98 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -1652,6 +1652,13 @@ of ``-W(no-)*``. Will raise two warnings because ``Zero`` and ``Succ`` are not written as ``'Zero`` and ``'Succ``. + This also applies to list literals since 9.4. For example: :: + + type L = [Int, Char, Bool] + + will raise a warning, because ``[Int, Char, Bool]`` is a promoted list + which lacks a tick. + .. ghc-flag:: -Wunused-binds :shortdesc: warn about bindings that are unused. Alias for :ghc-flag:`-Wunused-top-binds`, :ghc-flag:`-Wunused-local-binds` and |