[Template-haskell] types.

Keean Schupke k.schupke at imperial.ac.uk
Fri Feb 18 04:11:52 EST 2005


Is it possible to get at type information from TH? I am thinking of 
something
like the following:

f a = a + 1

{- ghc derives the type: f :: Integral a => a -> a -}

Can I get at this derives type information? It would be very useful for 
the project I am working on... can I just reify the type of the function?

    Keean.


More information about the template-haskell mailing list