diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-09-08 11:34:11 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-09-12 12:15:28 -0400 |
| commit | c6ac1e5f25e980c69e36581666210749811ee1c6 (patch) | |
| tree | 72870ac0bece7f516a84b4050b7871ccea067476 | |
| parent | b451feff269562830e3ca727665ba19a0252d371 (diff) | |
| download | haskell-c6ac1e5f25e980c69e36581666210749811ee1c6.tar.gz | |
users_guide: TH now partially supports typed holes
As requested in #10267. However we still lack support in typed splices.
See #10945 and #10946.
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index bfe4dfc6fa..3c4453df81 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -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 |