Re: Program Compiles With GHC 6.6 but not Hat

Bernie Pope <[email protected]> Sat, 18 Nov 2006 12:40:34 +1100

Newsgroups	gmane.comp.lang.haskell.hat
Message-ID	<[email protected]>

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.