[Yhc] Could you please explain the interface to the type checker?

[Thomas Shackell]

Hi Bernie,

Probably the most useful person to speak to about the Yhc type checker 
is Malcolm since the type checker hasn't been changed from nhc98. In 
particular Malcolm's "Summer of Code" student studied the interface to 
the type checker in depth.

There have been several proposals at a new type checker, and at least 
one attempt with the google summer of code project - but so far these 
have all failed to produce anything.

Anyway hope that helps :-)

Thanks


Tom


Bernie Pope wrote:
> Hi yhc developers,
> 
> I'm contemplating the possibility of using Chameleon as a front end 
> (well type checker) for yhc.
> 
>   http://www.comp.nus.edu.sg/~sulzmann/chameleon/download/haskell.html
> 
> Would one of you be able to describe the interface of the type checker 
> (which I presume is Type.typeTopDecls)?
> 
> Cheers,
> Bernie.
> 
> PS
> 
> I don't want to tread on anyone's toes, so if you have a fancy new type 
> checker in the pipeline I would like to hear about that too.
> _______________________________________________
> Yhc mailing list
> Yhc at haskell.org
> http://www.haskell.org/mailman/listinfo/yhc