when is defaulting supposed to occur?

[Iavor S. Diatchki]

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 at 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               |
==================================================