:t 2^5000

[Sigbjorn Finne]

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