6 Feb
2014
6 Feb
'14
5:56 p.m.
Rob, Sorry. Poly/ML compiles a print function for each datatype when it is declared. It doesn't take account of infix status so you'll have to install your own pretty printer if you want the result to be infixed. Regards, David
On 06/02/2014 15:48, Rob Arthan wrote:
When I executed the following
infix xxx; datatype XXX = op xxx of int * string; 1 xxx "banana";
I was rather hopping the expression at the end would print out with infix notation but it doesn't:
val it = xxx (1, "banana"): XXX
Is there an option in Poly/ML to have infix constructors print as infixes, or do I need to write my own pretty-printer to get that.
Regards,
Rob.