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