diff options
| -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> |