feat: Immutability by default

closes #139
buzz-language · Dec 19, 2024 · 2798df0 · 2798df0
1 parent eacfc9f
commit 2798df0
Show file tree

Hide file tree

Showing 20 changed files with 1,271 additions and 585 deletions.
diff --git a/src/Codegen.zig b/src/Codegen.zig
diff --git a/src/FFI.zig b/src/FFI.zig
@@ -509,24 +509,24 @@ fn unionContainer(self: *Self, name: []const u8, container: Ast.full.ContainerDe
         },
     );
 
-    const foreign_def = o.ObjForeignContainer.ContainerDef{
-        .location = self.state.?.source,
-        .name = try self.gc.copyString(name),
-        // FIXME
-        .qualified_name = try self.gc.copyString(qualified_name.items),
-        .zig_type = zig_type,
-        .buzz_type = buzz_fields,
-        .fields = get_set_fields,
-    };
-
-    const type_def = o.ObjTypeDef{
-        .def_type = .ForeignContainer,
-        .resolved_type = .{ .ForeignContainer = foreign_def },
-    };
-
     const zdef = try self.gc.allocator.create(Zdef);
     zdef.* = .{
-        .type_def = try self.gc.type_registry.getTypeDef(type_def),
+        .type_def = try self.gc.type_registry.getTypeDef(
+            .{
+                .def_type = .ForeignContainer,
+                .resolved_type = .{
+                    .ForeignContainer = .{
+                        .location = self.state.?.source,
+                        .name = try self.gc.copyString(name),
+                        // FIXME
+                        .qualified_name = try self.gc.copyString(qualified_name.items),
+                        .zig_type = zig_type,
+                        .buzz_type = buzz_fields,
+                        .fields = get_set_fields,
+                    },
+                },
+            },
+        ),
         .zig_type = zig_type,
         .name = name,
     };

diff --git a/src/Jit.zig b/src/Jit.zig
@@ -1879,7 +1879,7 @@ fn generateCall(self: *Self, node: Ast.Node.Index) Error!?m.MIR_op_t {
             ),
             .ObjectInstance => instance: {
                 const field = type_defs[node_components[components.callee].Dot.callee].?
-                    .resolved_type.?.ObjectInstance
+                    .resolved_type.?.ObjectInstance.of
                     .resolved_type.?.Object
                     .fields.get(member_lexeme).?;
 
@@ -3127,7 +3127,7 @@ fn generateList(self: *Self, node: Ast.Node.Index) Error!?m.MIR_op_t {
         new_list,
         &[_]m.MIR_op_t{
             m.MIR_new_reg_op(self.ctx, self.state.?.vm_reg.?),
-            m.MIR_new_uint_op(self.ctx, type_def.?.resolved_type.?.List.item_type.toValue().val),
+            m.MIR_new_uint_op(self.ctx, type_def.?.toValue().val),
         },
     );
 
@@ -3387,7 +3387,7 @@ fn generateDot(self: *Self, node: Ast.Node.Index) Error!?m.MIR_op_t {
                             (try self.generateNode(components.callee)).?,
                             m.MIR_new_uint_op(
                                 self.ctx,
-                                callee_type.resolved_type.?.ObjectInstance
+                                callee_type.resolved_type.?.ObjectInstance.of
                                     .resolved_type.?.Object.fields
                                     .get(member_lexeme).?.index,
                             ),
@@ -3400,7 +3400,7 @@ fn generateDot(self: *Self, node: Ast.Node.Index) Error!?m.MIR_op_t {
                 },
                 else => {
                     const field = if (callee_type.def_type == .ObjectInstance)
-                        callee_type.resolved_type.?.ObjectInstance
+                        callee_type.resolved_type.?.ObjectInstance.of
                             .resolved_type.?.Object.fields
                             .get(member_lexeme)
                     else
@@ -4102,7 +4102,7 @@ fn generateObjectInit(self: *Self, node: Ast.Node.Index) Error!?m.MIR_op_t {
                 instance,
                 m.MIR_new_uint_op(
                     self.ctx,
-                    type_def.?.resolved_type.?.ObjectInstance
+                    type_def.?.resolved_type.?.ObjectInstance.of
                         .resolved_type.?.Object.fields
                         .get(lexemes[property.name]).?.index,
                 ),