Re: Type of an HsExpr

On Mon, May 23, 2011 at 17:30, Ranjit Jhala wrote:

Btw, I don't know what application you have in mind, but if you are happy with just the types of identifiers then those are easy enough to get

       idType :: Id -> Kind

No, I really need the type for any expression. (My application is a haskell to java compiler, btw; I need the type for the proper use of generics in java.) Thanks again, Sven