global variable

Jose Morais jjoao at netcabo.pt
Mon Oct 13 08:17:01 EDT 2003


I am trying to implement a Damas-Milner type inference algorithm and I
need a way to say expression e has type Type "t1", expression e2 has
type Type "t2" and so on.


	Thnak you for all support



More information about the Hugs-Users mailing list