diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-12-16 17:21:42 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-12-19 10:02:31 -0500 |
| commit | 53599b3f515227f3407991913781fc8ea79d9638 (patch) | |
| tree | a6de7511af4b6139ae72efd7c47ef0f6d438f498 | |
| parent | c190b73f972abdeefc48469eb7c23837f43b3425 (diff) | |
| download | haskell-53599b3f515227f3407991913781fc8ea79d9638.tar.gz | |
Clarify that declaration splices exist at top level only. (#9880)
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index a5022622e4..86ceb06298 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -9015,11 +9015,13 @@ Wiki page</ulink>. have type <literal>Q Pat</literal></para></listitem> <listitem><para> a type; the spliced expression must have type <literal>Q Type</literal></para></listitem> - <listitem><para> a list of declarations; the spliced expression + <listitem><para> a list of declarations at top level; the spliced expression must have type <literal>Q [Dec]</literal></para></listitem> </itemizedlist> Inside a splice you can only call functions defined in imported modules, - not functions defined elsewhere in the same module.</para></listitem> + not functions defined elsewhere in the same module. Note that + declaration splices are not allowed anywhere except at top level + (outside any other declarations).</para></listitem> <listitem><para> A expression quotation is written in Oxford brackets, thus: |