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, 8 insertions, 14 deletions

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-++"}
                 }
-              }
+              ]
             }
           }
         ]