[polyml] Printing arbitrary objects

Ah. Perhaps PolyML.makestring then?

On 16/11/11 18:11, Dave Thayer wrote:

No you have to know the type of the object to invoke a type specific pretty printer I want to print arbitrary objects it could be anything. (usually a small subset of anything) :)

-----Original Message----- From: Phil Clayton [mailto:phil.clayton@lineone.net] Sent: Wednesday, November 16, 2011 10:09 AM To: Dave Thayer Cc: polyml@inf.ed.ac.uk Subject: Re: [polyml] Printing arbitrary objects

On 16/11/11 17:59, Dave Thayer wrote:

...

I have searched the online docs (which are extraordinarily skimpy) for how I can print the structure of some arbitrary object and can find no info. Can anyone help please.

Does this one help? http://www.polyml.org/docs/PrettyPrint.html

Phil