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

[John Meacham]

On Fri, Feb 12, 2010 at 03:47:56PM +1100, Bernie Pope wrote:
> On 12 February 2010 10:13, Niklas Broberg <niklas.broberg 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?
> >
> > 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/