[Haskell-cafe] haskell-src type inference algorithm?

Jason Dagit dagit at codersbase.com
Thu Feb 11 13:37:40 EST 2010


On Thu, Feb 11, 2010 at 9:35 AM, Job Vranish <job.vranish at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100211/7ef5c45a/attachment.html


More information about the Haskell-Cafe mailing list