diff options
| author | simonpj <unknown> | 2005-07-25 11:11:36 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2005-07-25 11:11:36 +0000 |
| commit | 10aa5c536b19b85ef5a8ddca451ccb64e45fc5e5 (patch) | |
| tree | 8a281e0d0cb177a10495b72415e1a2f38b19fb62 /ghc/docs/users_guide | |
| parent | 70b59eb3397c68f10ce429c0ffcf5ed63d86d3d3 (diff) | |
| download | haskell-10aa5c536b19b85ef5a8ddca451ccb64e45fc5e5.tar.gz | |
[project @ 2005-07-25 11:11:36 by simonpj]
Wibble to TH docs; MERGE to STABLE
Diffstat (limited to 'ghc/docs/users_guide')
| -rw-r--r-- | ghc/docs/users_guide/glasgow_exts.xml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ghc/docs/users_guide/glasgow_exts.xml b/ghc/docs/users_guide/glasgow_exts.xml index 4da043b605..9e712f8aaa 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.) </para> <para> A splice can occur in place of <itemizedlist> - <listitem><para> an expression; the spliced expression must have type <literal>Expr</literal></para></listitem> + <listitem><para> an expression; the spliced expression must + have type <literal>Q Exp</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> [Planned, but not implemented yet.] 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>Q Typ</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> |