From 81db1bfd580791910646525e30bc45af34533987 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 1 Mar 2025 08:39:02 +0100 Subject: Rewrite the way to handle filters --- lib/analysers/query.mli | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'lib/analysers/query.mli') diff --git a/lib/analysers/query.mli b/lib/analysers/query.mli index 520718a..d158867 100644 --- a/lib/analysers/query.mli +++ b/lib/analysers/query.mli @@ -1,5 +1,3 @@ -module Syntax = ImportConf.Syntax - val create_table : Dependency.t -> string type query = { @@ -10,9 +8,10 @@ type query = { shall be run with all the binded parameters. *) val select : - Syntax.t -> query * ImportDataTypes.Path.t ImportExpression.T.t array + ImportConf.Syntax.t -> + query * ImportDataTypes.Path.t ImportExpression.T.t array -val check_external : Syntax.t -> Syntax.Extern.t -> query +val check_external : ImportConf.Syntax.t -> ImportConf.Syntax.Extern.t -> query (** Create a query which select all the missing key in an external *) val build_key_insert : Buffer.t -> Dependency.key -> unit -- cgit v1.2.3