Fix extract lint rules from pp

mbarbin · Jan 10, 2025 · f549f1b · f549f1b
1 parent 1d168f9
commit f549f1b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/project/digital-watch/dune b/project/digital-watch/dune
@@ -13,17 +13,18 @@
   -open
   Cmdlang)
  (libraries base cmdlang cmdlang-cmdliner-runner graphics stdio threads)
+ (lint
+  (pps ppx_js_style -check-doc-comments))
  (preprocess
   (pps
+   -unused-type-warnings=force
    ppx_compare
    ppx_enumerate
    ppx_hash
    ppx_here
    ppx_let
    ppx_sexp_conv
-   ppx_sexp_value
-   ppx_js_style
-   -check-doc-comments)))
+   ppx_sexp_value)))
 
 (rule
  (alias digital-watch-simulation)

diff --git a/test/bop2c/gen-dune/dune b/test/bop2c/gen-dune/dune
@@ -18,14 +18,15 @@
   eio
   eio_main
   parsing-utils)
+ (lint
+  (pps ppx_js_style -check-doc-comments))
  (preprocess
   (pps
+   -unused-code-warnings=force
    ppx_compare
    ppx_enumerate
    ppx_hash
    ppx_here
    ppx_let
    ppx_sexp_conv
-   ppx_sexp_value
-   ppx_js_style
-   -check-doc-comments)))
+   ppx_sexp_value)))