[Haskell-cafe] haskell-src type inference algorithm?
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?
If you figure out if this is possible (or not), I'd love to hear what you
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe