On Thu, Feb 11, 2010 at 9:35 AM, Job Vranish <job.vranish@gmail.com> wrote:

Anyone know of a type inference utility that can run right on haskell-src types? or one that could be easily adapted?
I want to be able to pass in an HsExp and get back an HsQualType. It doesn't have to be fancy, plain Haskell98 types would do.

It wouldn't be to hard to make one myself, but I figured there might be one floating around already and it'd be a shame to write it twice :)

I've never checked to know if this is true, but could you use the GHC API to have GHC do your type inference/checking?
http://www.haskell.org/ghc/docs/latest/html/libraries/ghc-6.12.1/index.html

If you figure out if this is possible (or not), I'd love to hear what you figure out.

Jason