diff options
| author | jberryman <brandon.m.simmons@gmail.com> | 2022-03-22 15:47:21 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-28 01:17:55 -0400 |
| commit | 12653be933aa2c6d337f006a62f2d41bd584e7a4 (patch) | |
| tree | c33e936dc7f4f5e7431f5ff15d670e2aa4abe1e4 | |
| parent | eff86e8a5bddf61824fcd0147a70890b692efdcb (diff) | |
| download | haskell-12653be933aa2c6d337f006a62f2d41bd584e7a4.tar.gz | |
Document typed splices inhibiting unused bind detection (#16524)
| -rw-r--r-- | docs/users_guide/exts/template_haskell.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/exts/template_haskell.rst b/docs/users_guide/exts/template_haskell.rst index 1ebbe5a174..f5285e69b3 100644 --- a/docs/users_guide/exts/template_haskell.rst +++ b/docs/users_guide/exts/template_haskell.rst @@ -134,6 +134,9 @@ The :extension:`TemplateHaskellQuotes` extension is considered safe under A top-level typed expression splice can occur in place of an expression; the spliced expression must have type ``Code Q a`` + **NOTE**: Currently typed splices may inhibit the unused identifier warning for + identifiers in scope. See `#16524 <https://gitlab.haskell.org/ghc/ghc/-/issues/16524>` + - A *typed* expression quotation is written as ``[|| ... ||]``, or ``[e|| ... ||]``, where the "..." is an expression; if the "..." expression has type ``a``, then the quotation has type |