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

Eike M. Scholz@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