aboutsummaryrefslogtreecommitdiff
path: root/lib/checks/locations.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/locations.ml
parent406b7b79cd375b071f92ddee9cee14a98dc91281 (diff)
Added dependencies system between the modules in the checksHEADmaster
Diffstat (limited to 'lib/checks/locations.ml')
-rw-r--r--lib/checks/locations.ml10
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/checks/locations.ml b/lib/checks/locations.ml
index 8e5f500..3a5ddf5 100644
--- a/lib/checks/locations.ml
+++ b/lib/checks/locations.ml
@@ -20,6 +20,9 @@ let identifier = "locations"
let description = "Ensure every call points to an existing location"
let is_global = true
let active = ref true
+let depends = []
+
+type ex = Qsp_syntax.Identifier.t
type t = {
locations : LocationSet.t;
@@ -89,8 +92,11 @@ module Expression = struct
let v : t -> t' = Fun.id
(* Extract the litteral if this is a simple text *)
- let literal : S.pos -> t' T.literal list -> t' =
- fun _ ll -> match ll with Text lit :: [] -> Some lit | _ -> None
+ let literal :
+ ctx:Qsp_syntax.S.extract_context -> S.pos -> t' T.literal list -> t' =
+ fun ~ctx _ ll ->
+ ignore ctx;
+ match ll with Text lit :: [] -> Some lit | _ -> None
end
module Instruction = struct