Bump

examples/dl2u3.dl

@@ -0,0 +1,6 @@
+source x('A':int, 'B':string).
+source y('A':int, 'B':string).
+
+-x(A, B) :- A = 1, x(A, B).
++x(A, B) :- A <> 1, x(A, B).
++y(A, B) :- A <> 2, A <> 3, +x(A, B), y(A, B).

src/ast2sql.ml

@@ -1781,7 +1781,9 @@ exception TempError of error
 let get_column_names_from_table ~(error_detail : error_detail) (table_env : table_environment) (table : table_name) : (column_name list, error) result =
   let open ResultMonad in
   match table_env |> TableEnv.find_opt table with
-  | None      -> raise (TempError (UnknownTable { table; error_detail }))
+  | None      ->
+      Printf.printf "table: %s\n" table;
+      raise (TempError (UnknownTable { table; error_detail }))
   | Some cols -> return cols