[Haskell] Template Haskell Question: Spliced expr. of type TypeQ
haskell at sleepingsquirrel.org
Tue Jun 7 14:34:18 EDT 2005
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...
Maybe that's the key?
More information about the Haskell