24 Aug
2004
24 Aug
'04
10:29 a.m.
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