rescript/analysis/reanalyze/src/RunConfig.ml at bef511da6b05c4096b28116bebdecdbea4b6392d · rescript-lang/rescript · 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
type t = {
  mutable bsbProjectRoot: string;
  mutable dce: bool;
  mutable exception_: bool;
  mutable projectRoot: string;
  mutable suppress: string list;
  mutable termination: bool;
  mutable transitive: bool;
  mutable unsuppress: string list;
}

let runConfig =
  {
    bsbProjectRoot = "";
    dce = false;
    exception_ = false;
    projectRoot = "";
    suppress = [];
    termination = false;
    transitive = false;
    unsuppress = [];
  }

let reset () =
  runConfig.dce <- false;
  runConfig.exception_ <- false;
  runConfig.suppress <- [];
  runConfig.termination <- false;
  runConfig.transitive <- false;
  runConfig.unsuppress <- []

let all () =
  runConfig.dce <- true;
  runConfig.exception_ <- true;
  runConfig.termination <- true

let dce () = runConfig.dce <- true
let exception_ () = runConfig.exception_ <- true
let termination () = runConfig.termination <- true

let transitive b = runConfig.transitive <- b

type snapshot = {
  dce: bool;
  exception_: bool;
  suppress: string list;
  termination: bool;
  transitive: bool;
  unsuppress: string list;
}

let snapshot () =
  {
    dce = runConfig.dce;
    exception_ = runConfig.exception_;
    suppress = runConfig.suppress;
    termination = runConfig.termination;
    transitive = runConfig.transitive;
    unsuppress = runConfig.unsuppress;
  }

let equal_snapshot (a : snapshot) (b : snapshot) = a = b