Dave, I'm currently writing and revising the documentation for various things in the PolyML structure. What you need is the functions from PolyML.NameSpace http://www.polyml.org/documentation/Reference/PolyMLNameSpace.html . To get a list of the values, say, use #allVal PolyML.globalNameSpace (); This returns a list of pairs of type string * PolyML.NameSpace.valueVal. The string may be sufficient for what you want but it is possible to print the types and values using other functions from PolyML.NameSpace.
David
On 16/07/2015 23:20, David Topham wrote:
Are there commands for the PolyML interpreter to do things list the values in the current environment? e.g. If I have loaded or defined several functions and then want to review them as reference to calling them correctly, is there a way to display their prototypes? (I did look through the documentation and tried to search the "archives" but I don't seem to have a search feature for that purpose)
-Dave
p.s. I did discover the use of rlwarp (on Linux) to solve the problem of not being able to use arrow keys within the interpreter--that is a nice addition for repeating previous commands. i.e. rlwrap poly
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml