I don't know (apart from the source code). I can't imagine you need to
know much more than the type
'a -> string
which Poly/ML will print back when you enter
PolyML.makestring
On 16/11/11 18:13, Dave Thayer wrote:
Where do I find info on that function?
-----Original Message-----
From: Phil Clayton [mailto:[email protected]]
Sent: Wednesday, November 16, 2011 10:13 AM
To: Dave Thayer
Cc: Poly/ML Mailing List
Subject: Re: [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:[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
