David> Thanks, I've committed it. It seems like something that could be David> generally useful. Just one small point: I prefer to use spaces David> rather than tabs in ML and C/C++ source. Tabs cause problems David> with different editors and I think now I've eliminated all of David> them from the Poly/ML sources.
+1 Actually, the "problems" (an understatement) are even worse with whitespace sensitive languages like Python and Haskell. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD Rule 420: All persons more than eight miles high to leave the court. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
