On Mon, 6 Sep 2010, David Matthews wrote:
Basically, if you need a value printed out in infix form you've always got the option of installing your own pretty-printer for the type.
Generally, I have also found the new pp setup something to get used to, but now it works so much better than before, since I can embedd my own markup into the pretty trees processed by Poly/ML, for example.
Makarius _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml