overzealous defaulting?

Tomasz Zielonka t.zielonka at students.mimuw.edu.pl
Tue Aug 24 06:29:56 EDT 2004

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,

.signature: Too many levels of symbolic links

More information about the Glasgow-haskell-users mailing list