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