The following program compiles fine with ghc 4.04,

        x = 1
        main = print (x :: Int)

but when I try it with the "May 1999" version of Hugs,
I get a type error:

        ERROR "bug2.hs" (line 2): Type error in type annotation
        *** Term           : x
        *** Type           : Integer
        *** Does not match : Int

>From my understanding of the Haskell Report, I thought `x'
should be inferred to have the type `Num a => a', not `Integer'.
Is this a bug in Hugs?

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]        |     -- the last words of T. S. Garp.

Reply via email to