Commit f11ec08f5adc7f72ffaec137a39f458208184f14

Thomas de Grivel 2024-07-23T12:51:20

wip env_module_has_ident

diff --git a/libkc3/env.c b/libkc3/env.c
index 9ea2c35..86775d5 100644
--- a/libkc3/env.c
+++ b/libkc3/env.c
@@ -2249,6 +2249,7 @@ bool * env_module_has_ident (s_env *env, const s_sym *module,
   s_tag tag_ident;
   s_tag tag_module_name;
   s_tag tag_operator;
+  s_tag tag_sym;
   s_tag tag_symbol;
   s_tag tag_var;
   tag_init_ident(&tag_ident, ident);
@@ -2262,10 +2263,11 @@ bool * env_module_has_ident (s_env *env, const s_sym *module,
     *dest = true;
     return dest;
   }
+  tag_init_sym(&tag_sym, &g_sym_sym);
   tag_init_var(&tag_var, &g_sym_Ident);
   if (! facts_with(&env->facts, &cursor, (t_facts_spec) {
         &tag_module_name, &tag_operator, &tag_var, NULL,
-        &tag_var, &tag_symbol, &tag_ident, NULL, NULL})) {
+        &tag_var, &tag_sym, &tag_ident, NULL, NULL})) {
     err_puts("env_module_has_ident: facts_with");
     assert(! "env_module_has_ident: facts_with");
     return NULL;