On Tuesday 13 September 2005 09:16, Gracjan Polak wrote:
> Tomasz Zielonka wrote:
> > On Mon, Sep 12, 2005 at 12:08:14PM +0200, Gracjan Polak wrote:
> >>Probably very simple question about template haskell: How do I make
> >> a type for an argument to splice? Example:
> >>
> >>data MyData = MyData1 | MyData2
> >>
> >>mysplice mytype =
> >> [| litE $ stringL $ show mytype |]
> >>
> >>main = do
> >> putStrLn $(mysplice MyData)
> >
> > Cale explained how you can quote types in general. In the special
> > case when you simply want the Name of a type-constructor, you can
> > use the '' quoting syntax:
> >
> > putStrLn $(mysplice ''MyData)
>
> Thanks for responses. Is there any up-to-date documentation
> avaliable?
The only I know of is the TH 'update' paper, where e.g. the single ('a)
and double (''a) quote syntax is explained:
http://research.microsoft.com/~simonpj/tmp/notes2.ps
Ben
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
