[Hat] Program Compiles With GHC 6.6 but not Hat

[Bernie Pope]

On 18/11/2006, at 11:14 AM, Thomas Davie wrote:

> Olaf,
>   This brings up something that's been niggling me for a while.   
> Why can Hat not deal with defaulting?  Surely it could be handled  
> by the first stage of hat-trans being inserting explicit type  
> signatures based on the standard defaulting rules?
>
> Bob

That would require hat-trans to do type checking, wouldn't it?

Bernie.