That wasn't really my concern. My concern is why there are any type constraints on "a" even though there is no "a" in the type. - Hal -- Hal Daume III "Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume On Tue, 22 Jan 2002, Sigbjorn Finne wrote:
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" <hdaume@ISI.EDU> To: <hugs-bugs@haskell.org> Sent: Tuesday, January 22, 2002 10:08 Subject: :t 2^5000
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