From: simonpj Date: Mon, 25 Jul 2005 11:11:36 +0000 (+0000) Subject: [project @ 2005-07-25 11:11:36 by simonpj] X-Git-Tag: Initial_conversion_from_CVS_complete~327 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=10aa5c536b19b85ef5a8ddca451ccb64e45fc5e5;p=ghc-hetmet.git [project @ 2005-07-25 11:11:36 by simonpj] Wibble to TH docs; MERGE to STABLE --- diff --git a/ghc/docs/users_guide/glasgow_exts.xml b/ghc/docs/users_guide/glasgow_exts.xml index 4da043b..9e712f8 100644 --- a/ghc/docs/users_guide/glasgow_exts.xml +++ b/ghc/docs/users_guide/glasgow_exts.xml @@ -3649,9 +3649,11 @@ Tim Sheard is going to expand it.) A splice can occur in place of - an expression; the spliced expression must have type Expr + an expression; the spliced expression must + have type Q Exp a list of top-level declarations; ; the spliced expression must have type Q [Dec] - [Planned, but not implemented yet.] a type; the spliced expression must have type Type. + [Planned, but not implemented yet.] a + type; the spliced expression must have type Q Typ. (Note that the syntax for a declaration splice uses "$" not "splice" as in the paper. Also the type of the enclosed expression must be Q [Dec], not [Q Dec]