[Haskell-cafe] Template Haskell and Types

[Benjamin Franksen]

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