type inference and type checking are different

[Paula Severi]

For the example of the previous message,
the type inference of zero = 0 yields
Integer.

Though if we write 

zero:: Num a => a
zero = 0

the type together with the function it is succesfully type checked.

The type inference does not yield the most general type
though the type checking is doing it properly.

Paula

*********************************************************************
Centro de Matematica, Facultad de Ciencias     
Igua 4225 esq. Mataojo, CP 11400. Montevideo, Uruguay
severi@cmat.edu.uy  Tel. 598 2 5252183  (int. 128)  Fax 598 2 5220653
*********************************************************************