[commit: ghc] master: users_guide: TH now partially supports typed holes (c6ac1e5)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/c6ac1e5f25e980c69e36581666210749811ee1c6/ghc

>---------------------------------------------------------------

commit c6ac1e5f25e980c69e36581666210749811ee1c6
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Thu Sep 8 11:34:11 2016 -0400

    users_guide: TH now partially supports typed holes
    
    As requested in #10267. However we still lack support in typed splices.
    See #10945 and #10946.


>---------------------------------------------------------------

c6ac1e5f25e980c69e36581666210749811ee1c6
 docs/users_guide/glasgow_exts.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index bfe4dfc..3c4453d 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