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

Reply via email to