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.

1 files changed, 7 insertions, 11 deletions

diff --git a/patch/RULES b/patch/RULES
index c55de58..ea495f0 100644
--- a/patch/RULES
+++ b/patch/RULES
@@ -32,7 +32,6 @@
     , "base-provides-++": ["CC", "defaults-base-provides-++"]
     , "base-provides-list": ["CC", "defaults-base-provides-list"]
     , "artifacts_list": ["", "field_artifacts_list"]
-    , "nub_left": ["", "nub_left"]
     , "for host": ["transitions", "for host"]
     }
   , "config_transitions":
@@ -52,17 +51,14 @@
         ]
       , ["provider", "PATH"]
       , [ "PATH"
-        , { "type": "++"
+        , { "type": "nub_left"
           , "$1":
-            [ {"type": "var", "name": "PATH"}
-            , {"type": "CALL_EXPRESSION", "name": "base-provides-++"}
-            ]
-          }
-        ]
-      , [ "PATH"
-        , { "type": "let*"
-          , "bindings": [["list", {"type": "var", "name": "PATH"}]]
-          , "body": {"type": "CALL_EXPRESSION", "name": "nub_left"}
+            { "type": "++"
+            , "$1":
+              [ {"type": "var", "name": "PATH"}
+              , {"type": "CALL_EXPRESSION", "name": "base-provides-++"}
+              ]
+            }
           }
         ]
       , ["provider", "ENV"]