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
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml