Type of an HsExpr

Sven Urbanski svenurbanski at gmail.com
Wed May 25 00:21:19 CEST 2011


On Mon, May 23, 2011 at 17:30, Ranjit Jhala <jhala at cs.ucsd.edu> 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



More information about the Glasgow-haskell-users mailing list