From 598be4cd1bdd79e4859ae30291f4d65682cc672a Mon Sep 17 00:00:00 2001 From: Kimplul Date: Thu, 9 Jan 2025 22:26:02 +0200 Subject: initial reference checking --- src/debug.c | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) (limited to 'src/debug.c') diff --git a/src/debug.c b/src/debug.c index e65919b..1f4d3a8 100644 --- a/src/debug.c +++ b/src/debug.c @@ -150,6 +150,12 @@ void move_error(struct ast *new_use, struct ast *prev_use) semantic_info(prev_use->scope, prev_use, "previously moved here"); } +void reference_error(struct ast *new_use, struct ast *prev_use) +{ + semantic_error(new_use->scope, new_use, "using referenced value"); + semantic_info(prev_use->scope, prev_use, "previously referenced here"); +} + static void _type_str(FILE *f, struct type *t); static void _type_list_str(FILE *f, struct type *types) @@ -189,12 +195,24 @@ static void _type_str(FILE *f, struct type *type) fprintf(f, "%s", type->id); break; - case TYPE_CALLABLE: + case TYPE_CLOSURE: fprintf(f, "("); _type_list_str(f, type->t0); fprintf(f, ")"); break; + case TYPE_PURE_CLOSURE: + fprintf(f, "&("); + _type_list_str(f, type->t0); + fprintf(f, ")"); + break; + + case TYPE_FUNC_PTR: + fprintf(f, "*("); + _type_list_str(f, type->t0); + fprintf(f, ")"); + break; + case TYPE_CONSTRUCT: fprintf(f, "%s![", type->id); _type_list_str(f, type->t0); -- cgit v1.2.3