Re: [cocci] Merging results from parallel data processing?
Markus Elfring <[email protected]> Sun, 10 May 2026 10:50:42 +0200
| Newsgroups | fr.inria.cocci |
|---|---|
| Message-ID | <[email protected]> |
>> How do you think about to point the circumstances out under which this one >> would be applied? > > When the semantic patch requests it. Please see tests/merge_vars.cocci or > merco_vars_python.cocci Thanks for another hint. https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/03a1af0a3316ddfc2b54d827b8b9627a841c85c9/tests/merge_vars.cocci https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/03a1af0a3316ddfc2b54d827b8b9627a841c85c9/tests/merge_vars_python.cocci Do you distinguish “merging” from data concatenation in such code? >> Would you become more interested in the clarification of corresponding case distinctions? > > There are no case distinctions. How will such a view evolve further according to the use case “parallel data processing”? >> Do you care for the ordering of generated data anyhow? > > No. I find this feedback strange. Data users tend to prefer some information ordering, don't they? Regards, Markus