Running the Exp interpreter

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:

(loadmodule 'centaur/tables/typol/run-time/batch/synch)

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.


Tutorial