Commit c6ac1e5f authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

users_guide: TH now partially supports typed holes

As requested in #10267. However we still lack support in typed splices.
See #10945 and #10946.
parent b451feff
......@@ -10276,7 +10276,8 @@ The :ghc-flag:`-XTemplateHaskellQuotes` extension is considered safe under
- Recursive ``do``-statements (see :ghc-ticket:`1262`)
- Typed holes (see :ghc-ticket:`10267`)
- Type holes in typed splices (see :ghc-ticket:`10945` and
:ghc-ticket:`10946`)
(Compared to the original paper, there are many differences of detail.
The syntax for a declaration splice uses "``$``" not "``splice``". The type of
......
Markdown is supported
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