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
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 befo
Rob Arthan wrote:
I have a small issue with the Poly/ML pretty-printer. If you run:
datatype FOO = D of (int * int); infix D; 1 D 2;
Poly/ML prints: val it = D (1, 2) : FOO
Poly/ML will parse D(1, 2) but only because of a non-standard
extension that lets you omit the keyword "op" that the Stan
I have a small issue with the Poly/ML pretty-printer. If you run:
datatype FOO = D of (int * int);
infix D;
1 D 2;
Poly/ML prints: val it = D (1, 2) : FOO
Poly/ML will parse D(1, 2) but only because of a non-standard extension that
lets you omit the keyword "op" that the Standard ML de