From 629cc11f49abaf928054bfd162f122375567d495 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 7 Jun 2005 08:19:50 +0000
Subject: [PATCH] [project @ 2005-06-07 08:19:50 by simonpj] Mention that type
 splices are not implemented; MERGE to STABLE

---
 ghc/docs/users_guide/glasgow_exts.xml |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/docs/users_guide/glasgow_exts.xml b/ghc/docs/users_guide/glasgow_exts.xml
index 073003d..09ad8ca 100644
--- a/ghc/docs/users_guide/glasgow_exts.xml
+++ b/ghc/docs/users_guide/glasgow_exts.xml
@@ -3571,7 +3571,7 @@ Tim Sheard is going to expand it.)
 		  <itemizedlist>
 		    <listitem><para> an expression; the spliced expression must have type <literal>Expr</literal></para></listitem>
 		    <listitem><para> a list of top-level declarations; ; the spliced expression must have type <literal>Q [Dec]</literal></para></listitem>
-		    <listitem><para> a type; the spliced expression must have type <literal>Type</literal>.</para></listitem>
+		    <listitem><para> [Planned, but not implemented yet.] a type; the spliced expression must have type <literal>Type</literal>.</para></listitem>
 		    </itemizedlist>
 	   (Note that the syntax for a declaration splice uses "<literal>$</literal>" not "<literal>splice</literal>" as in
 	the paper. Also the type of the enclosed expression must be  <literal>Q [Dec]</literal>, not  <literal>[Q Dec]</literal>
@@ -3586,7 +3586,7 @@ Tim Sheard is going to expand it.)
                              the quotation has type <literal>Expr</literal>.</para></listitem>
 		    <listitem><para> <literal>[d| ... |]</literal>, where the "..." is a list of top-level declarations;
                              the quotation has type <literal>Q [Dec]</literal>.</para></listitem>
-		    <listitem><para> <literal>[t| ... |]</literal>, where the "..." is a type; 
+		    <listitem><para>  [Planned, but not implemented yet.]  <literal>[t| ... |]</literal>, where the "..." is a type; 
                              the quotation has type <literal>Type</literal>.</para></listitem>
 		  </itemizedlist></para></listitem>
 
-- 
1.7.10.4