Artem Alimarine asks: >GHC 5.0.3 supports rank-n polymorphism. >Could anyone please point me to a paper that describes type inference >algorithm used.
"Putting Type Annotations To Work", Martin Odersky and Konstantin Läufer. In Proceedings, 23rd ACM Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 1996. Available from <http://lampwww.epfl.ch/~odersky/papers/>. Cheers, Ronny Wichers Schreur _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
