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

On Fri, Feb 12, 2010 at 03:47:56PM +1100, Bernie Pope wrote:

On 12 February 2010 10:13, Niklas Broberg wrote:

...

...

Anyone know of a type inference utility that can run right on haskell-src types? or one that could be easily adapted?

This is very high on my wish-list for haskell-src-exts, and I'm hoping the stuff Lennart will contribute will go a long way towards making it feasible. I believe I can safely say that no such tool exists (and if it does, why haven't you told me?? ;-)), but if you implement (parts of) one yourself I'd be more than interested to see, and incorporate, the results.

A long time ago I worked on hatchet:

http://www.cs.mu.oz.au/~bjpop/hatchet/src/hatchet.tar.gz

which I believe was incorporated into JHC.

Yes, hatchet formed the base of the original type checker for jhc. It has since been fully replaced, probably twice over, but jhc could not have gotten off the ground without it. John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/