Message-
From: Phil Clayton [mailto:phil.clay...@lineone.net]
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
What do you mean by the structure? Just typing the value at the
top-level will print a value which may be an arbitrary data structure.
There's no standard way in ML to include general print function within a
piece of code. There is the non-standard PolyML.print function to
pretty-print a valu
: Phil Clayton [mailto:phil.clay...@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
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
_
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.
David
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/
