Hi,
it is an advertised feature of Hugs' :type command to
display the most general type (see the user's manual).
Giving the user control (via an option toggle) of whether
or not to use the 'defaults' to constrain the type returned
by :type, sounds reasonable. Unless someone puts forward
good reasons not to, I'll add support for this.
--sigbjorn
----- Original Message -----
From: "Hal Daume III"
if you enter :t 2^5000 in hugs, it gives:
2 ^ 5000 :: (Integral a, Num b) => b
which is obviously wrong (since a appears nowhere), but it's also obvious why it does this. any chance this'll be fixed?
- hal
-- Hal Daume III
"Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume
_______________________________________________ Hugs-Bugs mailing list Hugs-Bugs@haskell.org http://www.haskell.org/mailman/listinfo/hugs-bugs