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

Greg Buchholz 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?

Greg Buchholz

More information about the Haskell mailing list