On Thu, Feb 11, 2010 at 9:35 AM, Job Vranish <[email protected]> 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
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
