Re: [polyml] Pretty-printing of infix constructors

2010-09-08 Thread Makarius
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

Re: [polyml] Pretty-printing of infix constructors

2010-09-06 Thread David Matthews
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