Re: reifyDecl and reifyType not working

Wolfgang Jeltsch <[email protected]> Mon, 10 Sep 2007 23:59:15 +0200
Newsgroups gmane.comp.lang.haskell.template
Message-ID <[email protected]>
Am Montag, 10. September 2007 22:13 schrieb Ian Lynagh:
> On Mon, Sep 10, 2007 at 06:57:09PM +0200, Wolfgang Jeltsch wrote:
> > Am Montag, 10. September 2007 14:18 schrieb Ian Lynagh:
> > > On Mon, Sep 10, 2007 at 08:59:45AM +0100, Simon Peyton-Jones wrote:
> > > > 'reifyDecl' is not a language construct; it's a function.  You need
> > > > to import Language.Haskell.TH to bring it into scope.
> > >
> > > It's also just called reify these days.
> >
> > of type Name.  The Template Haskell library doesn’t seem to provide a way
> > to create a Name value which always refers to the same entity, regardless
> > of the splice where it is used.  So I wanted to use workarounds like
> > this:
> >
> >     className :: Name
> >     ClassD _ className _ _ _ = reifyDecl Class
>
> You can get names with the ' and '' syntax:

Oh, I didn’t know about this syntax.  Is this documented somewhere?

>[…]

Best wishes,
Wolfgang