aboutsummaryrefslogtreecommitdiff
path: root/src/typecheck.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-04-06 18:04:35 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-04-06 18:04:35 -0400
commit89754ac89dd1d568ab0ff14d145cae259d9db66f (patch)
tree14b4920231c2a4d23194f7570ab4e43fd000da3e /src/typecheck.c
parente87e6dabfbdc1d35b5fe41b5d84dab38df3c8e76 (diff)
Make it a bit more ergonomic to make function types
Diffstat (limited to 'src/typecheck.c')
-rw-r--r--src/typecheck.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/typecheck.c b/src/typecheck.c
index a1a77b5f..fed02ec6 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -443,8 +443,7 @@ void bind_statement(env_t *env, ast_t *statement)
type_t *type = Type(TextType, .lang=def->name, .env=ns_env);
Table$str_set(env->types, def->name, type);
- set_binding(ns_env, "from_text",
- Type(FunctionType, .args=new(arg_t, .name="text", .type=TEXT_TYPE), .ret=type),
+ set_binding(ns_env, "from_text", NewFunctionType(type, {.name="text", .type=TEXT_TYPE}),
CORD_all("(", namespace_prefix(env, env->namespace), def->name, "$$type)"));
for (ast_list_t *stmt = def->namespace ? Match(def->namespace, Block)->statements : NULL; stmt; stmt = stmt->next)