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 [EMAIL PROTECTED] Tel. 598 2 5252183 (int. 128) Fax 598 2 5220653 ********************************************************************* _______________________________________________ Hugs-Bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/hugs-bugs
