:t 2^5000

[Hal Daume III]

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
>