when is defaulting supposed to occur?

[Mark Tullsen]

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