when is defaulting supposed to occur?
tullsen at galois.com
Fri Oct 24 17:19:56 EDT 2003
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?).
More information about the Haskell