X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fglasgow_exts.xml;h=8bca4857c5840fd55b658d0215077c8c94b2516d;hb=3926077b73723c8a0394e781a2d1c7fab1ecd9b9;hp=fb2124e7fb95cb5b15f708f2f2c00e0ccef276ec;hpb=2c953bfaae37b427b71cbe20f0ceeda4c1d6f00f;p=ghc-hetmet.git diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index fb2124e..8bca485 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -4227,8 +4227,8 @@ Tim Sheard is going to expand it.) - Furthermore, the you can only run a function at compile time if it is imported - from another module that is not part of a mutually-recursive group of modules + Furthermore, you can only run a function at compile time if it is imported + from another module that is not part of a mutually-recursive group of modules that includes the module currently being compiled. For example, when compiling module A, you can only run Template Haskell functions imported from B if B does not import A (directly or indirectly). The reason should be clear: to run B we must compile and run A, but we are currently type-checking A.