test: Configure linting tests

dune-project

@@ -1 +1 @@
-(lang dune 2.0)
+(lang dune 2.7)

package.json

@@ -39,7 +39,7 @@
     "@opam/merlin": "*",
     "ocaml": "4.10.0",
     "@esy-ocaml/reason": ">= 3.6.0 < 4.0.0",
-    "@opam/dune": "> 1.11.4",
+    "@opam/dune": "2.7.1",
     "@opam/ocaml-migrate-parsetree": "^1.7.3",
     "@opam/ppxlib": "0.14.0",
     "@reason-native/rely": "^3.2.1",

src/Ppx.re

@@ -155,7 +155,11 @@ let useEffectExpand = (e: Parsetree.expression) =>
   };
 
 let startsWith = (affix, str) => {
-  let start = String.sub(str, 0, String.length(affix));
+  let start =
+    try(String.sub(str, 0, String.length(affix))) {
+    | _ => ""
+    };
+
   start == affix;
 };
 
@@ -178,30 +182,29 @@ let findConditionalHooks = {
     startsWith("use", name);
   };
 
-  {
+  let linter = {
     as _;
     inherit class Ast_traverse.fold(acc) as super;
     pub! expression = (t, acc) => {
+      let acc = super#expression(t, acc);
       switch (t.pexp_desc) {
       | Pexp_apply({pexp_desc: Pexp_ident({txt: lident, _}), _}, _args)
-          when isAHook(lident) && acc.isInside =>
-        let f = getName(lident);
-        print_endline("hook " ++ f);
-        let acc = super#expression(t, acc);
-        {...acc, locations: [t.pexp_loc, ...acc.locations]};
+          when isAHook(lident) && acc.isInside => {
+          ...acc,
+          locations: [t.pexp_loc, ...acc.locations],
+        }
       | Pexp_match(_expr, listOfExpr) =>
         List.fold_left(
           (acc, expr) =>
             super#expression(expr.pc_rhs, {...acc, isInside: true}),
           acc,
           listOfExpr,
         )
-
       | Pexp_while(_cond, expr) =>
         super#expression(expr, {...acc, isInside: true})
       | Pexp_for(_, _, _, _, expr) =>
         super#expression(expr, {...acc, isInside: true})
-      | Pexp_ifthenelse(ifExpr, thenExpr, elseExpr) =>
+      | Pexp_ifthenelse(ifExpr, thenExpr, elseExpr) when !acc.isInside =>
         let acc = super#expression(ifExpr, {...acc, isInside: true});
         let acc = super#expression(thenExpr, {...acc, isInside: true});
 
@@ -211,12 +214,13 @@ let findConditionalHooks = {
           | None => acc
           };
 
-        {...acc, isInside: false};
+        {...acc, isInside: true};
       | _ => super#expression(t, acc)
       };
     }
-  }#
-    structure;
+  };
+
+  linter#structure;
 };
 
 let conditionalHooksLinter = (structure: Parsetree.structure) => {

test/ConditionalHooks.expected

@@ -0,0 +1,6 @@
+[@@@ocaml.ppwarning "Hooks can't be inside conditionals, neither loops."]
+let useMouseHook () = ()
+let make ~randomProp  =
+  if randomProp == "state" then useMouseHook ();
+  ((div ~children:[] ())
+  [@JSX ])[@@react.component ]

test/dune

@@ -9,7 +9,7 @@
   ; expect the process to fail, capturing stderr
   (with-stderr-to
    %{targets}
-   (bash "! ./%{pp} %{input}")
+   (bash "! ./%{pp} -no-color -impl %{input}")
   )
  )
 )
@@ -33,25 +33,17 @@
   (:input ConditionalHooks.ml)
  )
  (action
-  (progn
-   ; expect the process to fail, capturing stderr
-   (with-stderr-to
-    %{targets}
-    (bash "! ./%{pp} %{input}")
-   )
-  )
+  (bash "! ./%{pp} -no-color -impl %{input} > %{targets} || true")
  )
 )
 
 (rule
  (targets ConditionalHooks.ml)
  (deps ConditionalHooks.re)
  (action
-  (progn
-   (with-stdout-to
-    %{targets}
-    (run refmt --parse=re --print=ml %{deps})
-   )
+  (with-stdout-to
+   %{targets}
+   (run refmt --parse=re --print=ml %{deps})
   )
  )
 )