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 _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
