Commit de159e7b79519f92caa6d6c5ab6196566c590c51
2024-01-19T17:35:15
wip sym_must_clean
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137
diff --git a/libc3/tag.c b/libc3/tag.c
index cf7e605..494ced7 100644
--- a/libc3/tag.c
+++ b/libc3/tag.c
@@ -520,16 +520,128 @@ 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)
+bool sym_must_clean (const s_sym *sym, bool *must_clean)
{
-
- err_write_1("tag_must_clean: unknown type: ");
+ if (sym_is_array_type(sym)) {
+ *must_clean = sym_must_clean(sym_array_type(sym));
+ return true;
+ }
+ if (sym == &g_sym_Bool) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_Character) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_F32) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_F64) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_F128) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_Fn) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_Integer) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_List) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_Map) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_Ptr) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_PtrFree) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_S8) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_S16) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_S32) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_S64) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_Str) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_Struct) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_Sym) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_Sw) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_Tag) {
+ *must_clean = true;
+ return true;
+ }
+ if (sym == &g_sym_U8) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_U16) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_U32) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_U64) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_Uw) {
+ *must_clean = false;
+ return true;
+ }
+ if (sym == &g_sym_Void) {
+ *must_clean = false;
+ return true;
+ }
+ if (struct_type_exists(sym)) {
+ *must_clean = struct_type_must_clean(sym);
+ return true;
+ }
+ err_write_1("sym_to_ffi_type: unknown type: ");
err_inspect_sym(&sym);
err_write_1("\n");
- assert(! "tag_must_clean: unknown type");
+ assert(! "sym_to_ffi_type: unknown type");
return false;
}
+
s_tag * tag_neg (const s_tag *tag, s_tag *result)
{
s_integer tmp;