Ah Looks like Malcolm did reply to this :-) Thomas Shackell wrote:
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@haskell.org http://www.haskell.org/mailman/listinfo/yhc
_______________________________________________ Yhc mailing list Yhc@haskell.org http://www.haskell.org/mailman/listinfo/yhc