cmdlang/dunolint at main · mbarbin/cmdlang · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
(lang dunolint 1.0)

;; Instrumentation

(rule
 (cond
  ((path
    (or
     (glob doc/**)))
   return)
  (true
   (enforce
    (dune
     (instrumentation
      (backend bisect_ppx)))))))

;; Test lib naming

(rule
 (cond
  ((path
    (glob test/**))
   (enforce
    (dune
     (library
      (and
       (not
        (has_field public_name))
       (package
        (equals cmdlang-tests))
       (name
        (is_suffix _test)))))))))

;; Configure the ppx_js_style linter

(rule
 (cond
  ((path
    (or
     (glob doc/**)))
   return)
  (true
   (enforce
    (dune
     (lint
      (pps
       (and
        (pp ppx_js_style)
        (flag
         (name -allow-let-operators)
         (param none)
         (applies_to
          (pp ppx_js_style)))
        (flag
         (name -check-doc-comments)
         (param none)
         (applies_to
          (pp ppx_js_style)))))))))))

;; No preprocessing

(rule
 (cond
  ((path
    (glob src/cmdlang-to-base/*))
   return)
  ((path
    (glob src/**))
   (enforce
    (dune
     (preprocess no_preprocessing))))))