Makarius, David,
Thanks for the input on this. I should explain that my example is for a presentation including a demo involving an 11-line LCF-style kernel and a decision procedure that packs as many bugs and infelicities as I could manage into 4 lines. So sadly, writing my own pretty-printer would spoil the point. However, as it is a really trivial program, it will run on New Jersey ML! For a serious LCF-style system, one will always want to write a custom pretty-printer for the abstract data types in the kernel, so this is not an issue of any importance in practice.
Regards,
Rob.
On 8 Sep 2010, at 13:45, Makarius wrote:
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