Re: Redisplaying/redrawing after modifications

[Vincent.Prunet@sophia.inria.fr (Vincent Prunet)]

Some explanations about metavariables :


A metavariable tree is not a metavariable.
A metavariable is not a tree.


A metavariable tree is an atomic tree, its atom_class is metavariable, its
atom value is a metavariable.


The metavariable operator of a given formalism may be obtained by the call :

({formalism}:metavarop <formalism>).


I noticed a error in the documentation of the Virtual Tree Processor, page 24.

Here is the correct definition of the {formalism}:tree function:

(de {formalism}:tree (formalism name class . tagval)
    ({tree}:make ({formalism}:metavarop formalism)
     (apply '{name}:metavariable name class tagval)))


Vincent