diff options
author | Oliver Reiche <oliver.reiche@huawei.com> | 2022-04-29 13:59:30 +0200 |
---|---|---|
committer | Oliver Reiche <oliver.reiche@huawei.com> | 2022-04-29 13:59:48 +0200 |
commit | 71e53e4c05201e97717e5fef24c6e5ce5eda980c (patch) | |
tree | 8fe88934857eb3bf7dcba476b05d75791e2f625d /patch | |
parent | 124d53937a088813a95317fcd535acc0cf69024a (diff) | |
download | rules-cc-71e53e4c05201e97717e5fef24c6e5ce5eda980c.tar.gz |
rules: Perform disjoint map union in field_* expressions
... and replace all instances where the field_*_list variant
of those expressions is used solely for the purpose of
performing the disjoint union manually.
Diffstat (limited to 'patch')
0 files changed, 0 insertions, 0 deletions