Nikita Popov 8490c0e82d Call leaveNode() on visitors in reverse order
Node visitation is now properly nested. The call sequence will
now be

    $visitor1->enterNode($n);
    $visitor2->enterNode($n);
    $visitor2->leaveNode($n);
    $visitor1->leaveNode($n);

rather than

    $visitor1->enterNode($n);
    $visitor2->enterNode($n);
    $visitor1->leaveNode($n);
    $visitor2->leaveNode($n);

Fixes #899.
2023-05-21 12:31:15 +02:00
..
2023-05-20 21:02:03 +02:00
2022-08-29 21:52:53 +02:00
2022-08-29 21:52:53 +02:00
2022-11-12 16:19:15 +01:00
2022-09-03 18:59:48 +02:00
2022-08-29 21:52:53 +02:00
2022-08-29 21:52:53 +02:00
2022-08-29 21:52:53 +02:00
2022-08-29 21:52:53 +02:00
2022-08-29 21:52:53 +02:00
2022-08-29 21:52:53 +02:00
2022-08-29 21:52:53 +02:00