diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-01-09 22:26:02 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-01-09 22:26:02 +0200 |
| commit | 598be4cd1bdd79e4859ae30291f4d65682cc672a (patch) | |
| tree | 6e7e7ad537214c78049c4b3b2ee694c3b549fa4e /src/debug.c | |
| parent | 6f7c2d6daa5c706d441ddc42c5c6409e5266049a (diff) | |
| download | fwd-598be4cd1bdd79e4859ae30291f4d65682cc672a.tar.gz fwd-598be4cd1bdd79e4859ae30291f4d65682cc672a.zip | |
initial reference checking
Diffstat (limited to 'src/debug.c')
| -rw-r--r-- | src/debug.c | 20 |
1 files changed, 19 insertions, 1 deletions
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); |