From 9e7f2b68357dc1fbd073244e5a242a8317c8207d Mon Sep 17 00:00:00 2001
From: Klaus Aehlig <klaus.aehlig@huawei.com>
Date: Tue, 5 Nov 2024 16:27:50 +0100
Subject: 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.
---
 lint/RULES | 22 ++++++++--------------
 1 file changed, 8 insertions(+), 14 deletions(-)

(limited to 'lint')

diff --git a/lint/RULES b/lint/RULES
index e1000d9..0fba127 100644
--- a/lint/RULES
+++ b/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-++"}
                 }
-              }
+              ]
             }
           }
         ]
-- 
cgit v1.2.3