diff options
| -rw-r--r-- | shell/RULES | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/shell/RULES b/shell/RULES index 41530a2..29b670e 100644 --- a/shell/RULES +++ b/shell/RULES @@ -137,14 +137,24 @@ } ] , [ "bin dirs" - , { "type": "++" + , { "type": "reverse" , "$1": - [ {"type": "FIELD", "name": "bin dirs"} - , { "type": "let*" - , "bindings": [["provider", "bin dirs"]] - , "body": {"type": "CALL_EXPRESSION", "name": "base-provides-++"} + { "type": "nub_right" + , "$1": + { "type": "reverse" + , "$1": + { "type": "++" + , "$1": + [ {"type": "FIELD", "name": "bin dirs"} + , { "type": "let*" + , "bindings": [["provider", "bin dirs"]] + , "body": + {"type": "CALL_EXPRESSION", "name": "base-provides-++"} + } + ] + } } - ] + } } ] ] |