Fwd: when is defaulting supposed to occur?

[Ross Paterson]

On Thu, Oct 30, 2003 at 04:46:10PM -0800, Mark Tullsen wrote:
> So, it looks like it is hugs which is not following the report
> (section 4.5.5 (rule 2) as Iavor noted), which seems to indicate
> that defaulting only occurs after an entire module is type-checked.

Yes.  It's among the divergences from Haskell 98 listed in the new Hugs
User's Guide (under http://cvs.haskell.org/Hugs/pages/documentation.htm)
that will be included in the upcoming release.