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

Better error checking

Browse Source
This commit is contained in:
Bruce Hill 2024-02-26 23:02:09 -05:00
parent 8f5a40b944
commit 115c75692b
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
compile.c
View File

@ -846,6 +846,9 @@ CORD compile(env_t *env, ast_t *ast)
auto test = Match(ast, DocTest);
CORD src = heap_strn(test->expr->start, (size_t)(test->expr->end - test->expr->start));
type_t *expr_t = get_type(env, test->expr);
if (!expr_t)
code_err(test->expr, "I couldn't figure out the type of this expression");
if (test->expr->tag == Declare) {
auto decl = Match(test->expr, Declare);
return CORD_asprintf(

6
environment.c
View File

@ -12,14 +12,14 @@ typedef struct {
binding_t binding;
} ns_entry_t;
static type_t *namespace_type(table_t *ns)
static type_t *namespace_type(const char *name, table_t *ns)
{
arg_t *fields = NULL;
for (int64_t i = Table_length(ns); i >= 1; i--) {
struct {const char *name; binding_t binding; } *entry = Table_entry(ns, i);
fields = new(arg_t, .next=fields, .name=entry->name, .type=entry->binding.type);
}
return Type(StructType, .fields=fields);
return Type(StructType, .name=name, .fields=fields);
}
env_t *new_compilation_unit(void)
@ -63,7 +63,7 @@ env_t *new_compilation_unit(void)
};
for (size_t i = 0; i < sizeof(global_types)/sizeof(global_types[0]); i++) {
Table_str_set(env->globals, global_types[i].name, namespace_type(&global_types[i].namespace));
Table_str_set(env->globals, global_types[i].name, namespace_type(global_types[i].name, &global_types[i].namespace));
Table_str_set(env->types, global_types[i].name, global_types[i].type);
}