Re: extending a formalism

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

=> Hello,
=> 
=> I needed an everey_list operator in my formalism in order to edit a list
=> of any kind of trees of my language. For this purpose, I wrote the
=> following  function that extends an arbitrary formalism: 
=> 
=> (de :extend-formalism (formalism)
=> [...]
=> 
=> This seems to  work fine, and I can create an every_list tree. But
=> when putting it as root into the variable of my ctedit, I get an
=> error: 
=>  [...]
=> 
=> The variable root has been replaced correctly, but redrawing the tree
=> produces the error. (I had the same behavior without using VTP++ and
=> my object browser). 
=> 
=> Did I forgot sth. when extending the formalism? 
=> Does I have to extend the ppretty printer as well?

Yes, the ppml compiler uses internal codes for operators of the unparsed
formalism. Whenever a formalism is modified, all the ppml specifications must
be recompiled with the new formalism.


Vincent