Re: global variable
Jose Morais <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.hugs.user |
|---|---|
| Message-ID | <[email protected]> |
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