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.