[Haskell] Template Haskell Question: Spliced expr. of type TypeQ

[Greg Buchholz]

Eike M. Scholz at gmx.de wrote:
> I was wandering if I could do something similar to Depended Types
> using Template-Haskell. The documentation of GHC (6.2.2 and 
> 6.4) says that a splice may occur in place of a type, but I 
> get a parse error when I try that.

    From the TH homepage (http://www.haskell.org/th/)...

" Not all of even the original design has been implemented yet. The
  known issues are:

    * You can only splice in lists of declarations and expressions, not
    * types, patterns etc "

..and it gives a link...

    http://haskell.org/pipermail/template-haskell/2003-February/000021.html

Maybe that's the key?


Greg Buchholz