Commit abbabc39 authored by jberryman's avatar jberryman
Browse files

Document typed splices inhibiting unused bind detection (#16524)

parent 09b6cb45
Pipeline #49314 passed with stages
in 344 minutes and 18 seconds
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment