diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-05-21 20:14:57 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-05-21 20:14:57 -0400 |
| commit | b1db4fd0f68ddbc357df10743b3c85d12af0bc4e (patch) | |
| tree | b05d32797ef11e180b9c930fc256955b51446911 /typecheck.c | |
| parent | 760f46e71c2a430c5824e79539af4b3537f307f0 (diff) | |
Improve codegen for enums and structs (change $tag$Foo$Baz to
Foo$tag$Baz)
Diffstat (limited to 'typecheck.c')
| -rw-r--r-- | typecheck.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typecheck.c b/typecheck.c index e3cf0b5c..fbd7509d 100644 --- a/typecheck.c +++ b/typecheck.c @@ -282,7 +282,8 @@ void bind_statement(env_t *env, ast_t *statement) type_t *constructor_t = Type(FunctionType, .args=Match(tag->type, StructType)->fields, .ret=type); set_binding(ns_env, tag->name, new(binding_t, .type=constructor_t, .code=CORD_all(env->file_prefix, def->name, "$tagged$", tag->name))); } else { // Empty singleton value: - set_binding(ns_env, tag->name, new(binding_t, .type=type, .code=CORD_all(env->file_prefix, def->name, "$tagged$", tag->name))); + CORD code = CORD_all("(", env->file_prefix, def->name, "_t){", env->file_prefix, def->name, "$tag$", tag->name, "}"); + set_binding(ns_env, tag->name, new(binding_t, .type=type, .code=code)); } Table$str_set(env->types, heap_strf("%s$%s", def->name, tag->name), tag->type); } |
