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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
