diff options
| author | simonpj@microsoft.com <unknown> | 2009-05-28 16:54:43 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-05-28 16:54:43 +0000 |
| commit | 27444c254fc33a4f72ad0aa78f561a0670567369 (patch) | |
| tree | 877f0fde74a43a6ff6018648b281726b8669ed4c /docs | |
| parent | 30ced40470d0bb2a14a8eb25dd77ca99edd88a5a (diff) | |
| download | haskell-27444c254fc33a4f72ad0aa78f561a0670567369.tar.gz | |
Document the fact that Template Haskell type splices work
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index d23da182cd..ca08f58d05 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -5863,6 +5863,8 @@ Wiki page</ulink>. <itemizedlist> <listitem><para> an expression; the spliced expression must have type <literal>Q Exp</literal></para></listitem> + <listitem><para> an type; the spliced expression must + have type <literal>Q Typ</literal></para></listitem> <listitem><para> a list of top-level declarations; the spliced expression must have type <literal>Q [Dec]</literal></para></listitem> </itemizedlist> </para> @@ -5911,7 +5913,7 @@ Wiki page</ulink>. (Compared to the original paper, there are many differences of detail. The syntax for a declaration splice uses "<literal>$</literal>" not "<literal>splice</literal>". The type of the enclosed expression must be <literal>Q [Dec]</literal>, not <literal>[Q Dec]</literal>. -Type splices are not implemented, and neither are pattern splices or quotations. +Pattern splices and quotations are not implemented.) </sect2> |