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
_______________________________________________
Hugs-Users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/hugs-users
