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