Yes, that's right. The Template Haskell implementation in GHC 6.0 is has one or two big holes; in ptic - you can only reify type declarations - type splices are not there
Tim and I are working on a new iteration of the design which we'll put out to the Template Haskell mailing list (please join it if you are interested in TH http://www.haskell.org/mailman/listinfo/template-haskell). To some extent, the things I have not yet implemented are because there's some open questions about the design. The things that are there should work solidly, though. I hope. The error message is unhelpful, I'm afraid. Sorry about that. simon | -----Original Message----- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On | Behalf Of [EMAIL PROTECTED] | Sent: 25 June 2003 02:06 | To: [EMAIL PROTECTED] | Subject: reifyDecl is completely broken | | As far as I can tell, trying to reify any declaration, even one as simple | as | | x :: () | x = () | | will result in a message similar to | | ghc-6.0: panic! (the `impossible' happened, GHC version 6.0): | dsReify reifyDecl Minimal.x {- v rNZ -} | | This is using the gentoo-packaged 6.0 release. | | Abe | | _______________________________________________ | Glasgow-haskell-bugs mailing list | [EMAIL PROTECTED] | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs