Note the following program x = 1 y = x :: Int
This is accepted by ghc but it is rejected hugs (May 2003 cvs): ERROR "IntegerTest.hs":4 - Type error in type annotation *** Term : x *** Type : Integer *** Does not match : Int
My guess is that hugs is doing defaulting after a "declaration group" is type-checked, but that ghci leaves 'x' with type 'Num a', then processes further declaration groups, and then does defaulting.
I don't see that the report specifies this (did I miss it?).
- Mark
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
