diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-11-05 16:27:50 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-11-06 14:37:16 +0100 |
| commit | f8937f600f797fe82b346dfeffa954bcc5f47972 (patch) | |
| tree | d74d28155bf751b7c66333c824c691fcbf64d3d9 /rules/lint/RULES | |
| parent | 51ce2fe766ba189771b32a50be2e2592d64c9f4f (diff) | |
| download | justbuild-f8937f600f797fe82b346dfeffa954bcc5f47972.tar.gz | |
Prefer built-in "nub_left"
Now that justbuild 1.4 is available, the workaround of defining
"nub_left" in terms of "reverse" and "nub_right" is no longer
necessary.
Diffstat (limited to 'rules/lint/RULES')
| -rw-r--r-- | rules/lint/RULES | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/rules/lint/RULES b/rules/lint/RULES index e1000d9e..0fba1271 100644 --- a/rules/lint/RULES +++ b/rules/lint/RULES @@ -21,23 +21,17 @@ { "type": "let*" , "bindings": [ [ "PATH" - , { "type": "reverse" + , { "type": "nub_left" , "$1": - { "type": "nub_right" + { "type": "++" , "$1": - { "type": "reverse" - , "$1": - { "type": "++" - , "$1": - [ {"type": "FIELD", "name": "PATH"} - , { "type": "let*" - , "bindings": [["provider", "PATH"]] - , "body": - {"type": "CALL_EXPRESSION", "name": "base-provides-++"} - } - ] + [ {"type": "FIELD", "name": "PATH"} + , { "type": "let*" + , "bindings": [["provider", "PATH"]] + , "body": + {"type": "CALL_EXPRESSION", "name": "base-provides-++"} } - } + ] } } ] |