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
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
-
David.Matthews＠prolingua.co.uk -
dtopham＠ohlone.edu