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 _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users