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
[email protected]
http://www.haskell.org/mailman/listinfo/yhc
_______________________________________________
Yhc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/yhc
_______________________________________________
Yhc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/yhc
