Commit ec02328fbdcf8a1b8084ddf01870008187de00ba

Thomas de Grivel 2024-01-19T09:28:57

tag must clean

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
diff --git a/libc3/tag.c b/libc3/tag.c
index 14dfd0d..cf7e605 100644
--- a/libc3/tag.c
+++ b/libc3/tag.c
@@ -520,6 +520,16 @@ bool * tag_lte (const s_tag *a, const s_tag *b, bool *dest)
   return dest;
 }
 
+bool tag_must_clean (const s_sym *sym, bool *must_clean)
+{
+  
+  err_write_1("tag_must_clean: unknown type: ");
+  err_inspect_sym(&sym);
+  err_write_1("\n");
+  assert(! "tag_must_clean: unknown type");
+  return false;
+}
+
 s_tag * tag_neg (const s_tag *tag, s_tag *result)
 {
   s_integer tmp;