overzealous defaulting?

[Tomasz Zielonka]

On Tue, Aug 24, 2004 at 08:55:00AM +0100, Simon Peyton-Jones wrote:
> | For some reason GHC defaults to Integer, even when monomorphism
> | restriction doesn't come into play.
> 
> This is all quite reasonable.  The defaulting rule says precisely what
> should happen.  When there is an ambiguous constraint, (Show a, Read a)
> in this case, the defaulting rules say to try Integer and then Int
> (unless you have a default declaration).   In this case Integer works.

Forgive me, I ask questions which are answered very clearly in the
report (modulo the extended defaulting mechanism in GHC, but that was
already explained in your previous message).

Best regards,
Tom

-- 
.signature: Too many levels of symbolic links