On Mon, May 23, 2011 at 17:30, Ranjit Jhala <[email protected]> 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 _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
