aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-04-10 20:27:59 +0200
committerSébastien Dailly <sebastien@dailly.me>2025-04-12 09:47:47 +0200
commitc284321b1073e06481c63e2c061a1600fa68254d (patch)
tree87155166131f8bdfce92dbb5eb68e66b223fa1fd /lib/configuration
parent9e2dbe43abe97c4e60b158e5fa52172468a2afb8 (diff)
Added filters expressions in the externals
Diffstat (limited to 'lib/configuration')
-rw-r--r--lib/configuration/read_conf.ml6
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/configuration/read_conf.ml b/lib/configuration/read_conf.ml
index c3c78cc..f78ff5b 100644
--- a/lib/configuration/read_conf.ml
+++ b/lib/configuration/read_conf.ml
@@ -306,6 +306,10 @@ module Make (S : Decoders.Decode.S) = struct
and* tab = S.field_opt_or ~default:1 "tab" S.int
and* allow_missing =
S.field_opt_or ~default:false "allow_missing" S.bool
+ and* filters =
+ S.field_opt_or ~default:[] "filters"
+ (S.list
+ (self#parse_expression ~eq:Int.equal ExpressionParser.column))
in
S.succeed
@@ -315,7 +319,7 @@ module Make (S : Decoders.Decode.S) = struct
extern_key;
target = { name; file; tab };
allow_missing;
- match_rule = None;
+ filters;
}
(** Load the configuration for an external file to link *)