On Sat, 05 Sep 2015 17:49:44 -0700, <[email protected]> wrote:
I have simply removed the comments warning about filtering ordered arrays.
That seems to be correct. Those comments were incorrect. The filter_map* functions do not, in fact, change the order of the array under the meaning of 'ordered_'. Pál's comment makes sense. There is no sorting method in Grob_array so there is no reason to suspect that the member 'ordered_' has anything to do with order under a sorting criterion. Looking at the commits that touch 'ordered_' it is clear that its meaning was "this array should stay in its current order" and that removal of elements doesn't count as a change in order and substituting Grobs inherit the order the Grobs they replace. _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
