hello, the problem has to do with the monomorphism restriction see section 4.5.5 (rule 2) (or typing hashell in haskell section 11.5.1 for details). bye iavor Mark Tullsen wrote:
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 Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
-- ================================================== | Iavor S. Diatchki, Ph.D. student | | Department of Computer Science and Engineering | | School of OGI at OHSU | | http://www.cse.ogi.edu/~diatchki | ==================================================