diff options
| -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 |