Bruce/tomo
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Activity

Prevent shadowing variables

Browse Source
This commit is contained in:
Bruce Hill 2024-04-23 13:04:31 -04:00
parent 7a175d3b45
commit 005427744d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typecheck.c
View File

@ -111,9 +111,11 @@ void bind_statement(env_t *env, ast_t *statement)
}
case Declare: {
auto decl = Match(statement, Declare);
const char *name = Match(decl->var, Var)->name;
if (get_binding(env, name))
code_err(decl->var, "A %T called '%s' has already been defined", get_binding(env, name)->type, name);
bind_statement(env, decl->value);
type_t *type = get_type(env, decl->value);
const char *name = Match(decl->var, Var)->name;
CORD code = CORD_cat(env->scope_prefix ? env->scope_prefix : "$", name);
set_binding(env, name, new(binding_t, .type=type, .code=code));
break;