Re: Program Compiles With GHC 6.6 but not Hat

Hi

> >   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?

One idea that _might_ work is to translate Int -> Integer, then you
get rid of defaulting integers, at the cost of changing the program
semantics ever so slightly. Personally I'd say the cost is more than
worth it, but I know some of the Hat developers disagree with me on
that.

Thanks

Neil