<br><br><div class="gmail_quote">On Thu, Feb 11, 2010 at 9:35 AM, Job Vranish <span dir="ltr"><<a href="mailto:job.vranish@gmail.com">job.vranish@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Anyone know of a type inference utility that can run right on haskell-src types? or one that could be easily adapted?<br>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.<br>
<br>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 :)<br></blockquote><div><br>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?<br>
<a href="http://www.haskell.org/ghc/docs/latest/html/libraries/ghc-6.12.1/index.html">http://www.haskell.org/ghc/docs/latest/html/libraries/ghc-6.12.1/index.html</a><br><br>If you figure out if this is possible (or not), I'd love to hear what you figure out.<br>
<br>Jason<br></div></div>