Marc van Dongen= writes:
>
> : of the report), this means resolving `integral' to be a value of type
> : Int.
>
> I think this ``resolving'' may lead to unwanted results. It took
> me quite some time to discover that Integral was resolved to Int
> in some program I had. Is there a possibility of generating a warning
> message whenever programs like the one above have to be disambiguated?
> Maybe a compiler-switch to turn these warning messages on and off?
>
That sounds like a good idea to me, but I guess it depends on what the
Standard Haskell committee decides to do (if anything) with the
monomorphism restriction, see
http://www.cs.chalmers.se/~rjmh/Haskell/Messages/Display.cgi?id=69
--Sigbjorn
