diff options
author | Fred Hebert <mononcqc@ferd.ca> | 2015-03-24 08:27:23 -0700 |
---|---|---|
committer | Fred Hebert <mononcqc@ferd.ca> | 2015-03-24 08:27:23 -0700 |
commit | db02ecb36faf5d8405a34f2f3ef0163322ed87f9 (patch) | |
tree | 0a878a5bc8e8713171d7e8328682e4e43077eaff /priv/shell-completion | |
parent | 14e5d5d3fc75d3285ca7e62b57e3a621e9b716ec (diff) |
Fix property merging
Much clearer semantics now. All lists are treated as proplists, meaning
we want to:
1) allow duplicates (providers have to avoid them if they must)
2) preserve order of elements that compare equal (`a == {a, val}`)
through a stable sort (so if `{a, b}` comes before `a`, we keep
`{a, b}` first in the list
3) In two lists of attributes requiring a merge, we always give the
'new' profile a priority to override the default one.
Diffstat (limited to 'priv/shell-completion')
0 files changed, 0 insertions, 0 deletions