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
