1 files changed, 11 insertions, 8 deletions

diff --git a/copy.c b/copy.c
index a296171..9f1acac 100644
--- a/copy.c
+++ b/copy.c
@@ -8,8 +8,9 @@ typedef struct {
 static void copy_expr(Copier *c, Expression *out, Expression *in);
 static void copy_decl(Copier *c, Declaration *out, Declaration *in);
 static void copy_block(Copier *c, Block *out, Block *in);
+static void copy_type(Copier *c, Type *out, Type *in);
 
-static void copy_val(Allocator *allocr, Value *out, Value *in, Type *t) {
+static void copy_val(Copier *c, Value *out, Value *in, Type *t) {
 	switch (t->kind) {
 	case TYPE_BUILTIN:
 	case TYPE_FN:
@@ -17,27 +18,29 @@ static void copy_val(Allocator *allocr, Value *out, Value *in, Type *t) {
 	case TYPE_SLICE:
 	case TYPE_VOID:
 	case TYPE_UNKNOWN:
-	case TYPE_TYPE:
 		*out = *in;
 		break;
 	case TYPE_ARR: {
 		size_t bytes = t->arr.n * compiler_sizeof(t->arr.of);
-		out->arr = allocr_malloc(allocr, bytes);
+		out->arr = allocr_malloc(c->allocr, bytes);
 		memcpy(out->arr, in->arr, bytes);
 	} break;
 	case TYPE_TUPLE: {
 		size_t bytes = arr_len(t->tuple) * sizeof(*out->tuple);
-		out->tuple = allocr_malloc(allocr, bytes);
+		out->tuple = allocr_malloc(c->allocr, bytes);
 		memcpy(out->tuple, in->tuple, bytes);
 	} break;
 	case TYPE_STRUCT: {
 		size_t bytes = compiler_sizeof(t);
-		out->struc = allocr_malloc(allocr, bytes);
+		out->struc = allocr_malloc(c->allocr, bytes);
 		memcpy(out->struc, in->struc, bytes);
 	} break;
 	case TYPE_USER:
-		copy_val(allocr, out, in, type_user_underlying(t));
+		copy_val(c, out, in, type_user_underlying(t));
 		break;
+	case TYPE_TYPE:
+		copy_type(c, out->type = allocr_malloc(c->allocr, sizeof *out->type), in->type);
+	    break;
 	}
 }
 
@@ -222,7 +225,7 @@ static void copy_expr(Copier *c, Expression *out, Expression *in) {
 		copy_type(c, &out->typeval, &in->typeval);
 		break;
 	case EXPR_VAL:
-		copy_val(a, &out->val, &in->val, &in->type);
+		copy_val(c, &out->val, &in->val, &in->type);
 		break;
 	}
 }
@@ -234,7 +237,7 @@ static void copy_decl(Copier *c, Declaration *out, Declaration *in) {
 	if (in->flags & DECL_HAS_EXPR)
 		copy_expr(c, &out->expr, &in->expr);
 	if (in->flags & DECL_FOUND_VAL) {
-		copy_val(c->allocr, &out->val, &in->val, &in->type);
+		copy_val(c, &out->val, &in->val, &in->type);
 	}
 	if (in->flags & DECL_ANNOTATES_TYPE)
 		copy_type(c, &out->type, &in->type);