Once you have type checked, compiled, and written the above program, you may run it on a given source tree by calling the ty-synchronous-run function. This function takes a Le-Lisp function name (generated by an export clause) and initial values to be fed to the trigger proposition. The function returns a list whose elements may either be name/value pairs or message objects. The names are those exported as results. They appear in the Le-Lisp list of results in the same order.
N.B. Typol variables may contain single quotes, as in env'. The corresponding name in Le-Lisp may not contain single quotes, so each one is replaced by a dollar sign.
If ty-synchronous-run has not been loaded into your Centaur session, you may load it by calling:
Thus, given a source Vtp tree in the Le-Lisp variable source-tree, the following call:
(ty-synchronous-run '#:eval_exp:init_eval_exp source-tree)
would return a list of pairs. The call:
(setq env-tree ;;Final environment (cassq '|env$| (ty-synchronous-run '#:eval_exp:init_eval_exp source-tree)))
assigns the value of the the Typol variable env' to the Le-Lisp variable env-tree. This value may then be used as the initial environment in the following call:
(setq env-tree ;;Final environment (cassq '|env$$| (ty-synchronous-run '#:eval_exp:full_eval_exp source-tree env-tree ;;Initial environment )))
Section discusses a graphic environment for calling the above Typol program.