diff options
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); |