From 5d8b072d82dc610f13da5566209c1aa6a303a3b9 Mon Sep 17 00:00:00 2001 From: Hiroshi Date: Wed, 18 Sep 2024 21:29:08 +0900 Subject: [PATCH] =?UTF-8?q?view=E3=81=8C=E3=81=AA=E3=81=84Datalog=E5=BC=8F?= =?UTF-8?q?=E3=81=AB=E5=AF=BE=E5=BF=9C?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/ast2sql.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast2sql.ml b/src/ast2sql.ml index 7aeb42f..d14ff23 100644 --- a/src/ast2sql.ml +++ b/src/ast2sql.ml @@ -2505,7 +2505,7 @@ let convert_expr_to_operation_based_sql (expr : expr) : (sql_operation list, err table_env |> TableEnv.add table cols ) TableEnv.empty in - let (view_name, _) = get_view expr in + let view_name = expr.view |> Option.map (fun (view_name, _) -> view_name) in let existent_tables = table_env |> TableEnv.to_list |> List.map fst |> TableSet.of_list in let rules = List.rev expr.rules in (* `expr` holds its rules in the reversed order *) divide_rules_into_groups table_env rules >>= fun (rule_groups, table_env) -> @@ -2560,7 +2560,7 @@ let convert_expr_to_operation_based_sql (expr : expr) : (sql_operation list, err get_column_names_from_table ~error_detail:(InGroup delta_key) table_env table >>= fun cols -> let delta_env = delta_env |> DeltaEnv.add delta_key (temporary_table, cols) in let creation = SqlCreateTemporaryTable (temporary_table, sql_query) in - if table <> view_name && TableSet.mem table existent_tables then + if Option.fold ~none:true ~some:((<>) table) view_name && TableSet.mem table existent_tables then let update = match delta_kind with | Insert ->