aboutsummaryrefslogtreecommitdiff
path: root/lib/checks/dead_end.ml
diff options
context:
space:
mode:
authorChimrod <>2025-07-19 11:18:24 +0200
committerChimrod <>2025-08-01 14:12:14 +0200
commit3046fb0d0c1ceac2c6a6ca9456e9e05671e0cef9 (patch)
tree8ba2700e541a6753499ceac54ced4f1d02a3b625 /lib/checks/dead_end.ml
parent406b7b79cd375b071f92ddee9cee14a98dc91281 (diff)
Added dependencies system between the modules in the checksHEADmaster
Diffstat (limited to 'lib/checks/dead_end.ml')
-rw-r--r--lib/checks/dead_end.ml11
1 files changed, 6 insertions, 5 deletions
diff --git a/lib/checks/dead_end.ml b/lib/checks/dead_end.ml
index 629a966..dd3e945 100644
--- a/lib/checks/dead_end.ml
+++ b/lib/checks/dead_end.ml
@@ -7,7 +7,9 @@ let identifier = "dead_end"
let description = "Check for dead end in the code"
let is_global = false
let active = ref false
+let depends = []
+type ex = Qsp_syntax.Identifier.t
type context = unit
let initialize = Fun.id
@@ -40,10 +42,8 @@ module Instruction = struct
(** For each instruction, return thoses two informations :
- - the intruction contains at [gt]
- - the last instruction is a [gt]
-
- *)
+ - the intruction contains at [gt]
+ - the last instruction is a [gt] *)
let v : t -> t' = fun t -> t
let default =
@@ -73,7 +73,8 @@ module Instruction = struct
(** Raw expression *)
let expression : Expression.t' -> t = fun _ -> default
- (** The content of a block is very linear, I only need to check the last element *)
+ (** The content of a block is very linear, I only need to check the last
+ element *)
let check_block : S.pos -> t list -> t =
fun pos instructions ->
let last_element =