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

[Thomas Shackell]

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