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:[email protected]]
Sent: Wednesday, November 16, 2011 10:09 AM
To: Dave Thayer
Cc: [email protected]
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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
