16 Nov
2011
16 Nov
'11
6:15 p.m.
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 value of any type.
David
On 16/11/2011 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.
David
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml