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).
.signature: Too many levels of symbolic links
More information about the Glasgow-haskell-users