[Gnucap-devel] node_t::map

[Felix Salfelder]

Hi Al.

as it seems, the call
_n[i].n_()->set_user_number(_n[j].e_())
from DEV::expand collapses the nodes i and j.

afaics (as of now) in node_t::map, e_() equals t_().
node_t::map sets _m = to_internal(t_());
to make collapses work, e_() should be used here.

(if this is wrong, please tell me how i'm supposed to collapse nodes)

regards
felix