RE: reifyDecl is completely broken

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: glasgow-haskell-bugs-admin@xxxxxxxxxxx
[mailto:glasgow-haskell-bugs-admin@xxxxxxxxxxx] On
| Behalf Of abe@xxxxxxx
| Sent: 25 June 2003 02:06
| To: glasgow-haskell-bugs@xxxxxxxxxxx
| 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
| Glasgow-haskell-bugs@xxxxxxxxxxx
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs