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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
