Eike M. [EMAIL PROTECTED] 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 _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell