aboutsummaryrefslogtreecommitdiff
path: root/typecheck.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2024-08-15 03:01:04 -0400
committerBruce Hill <bruce@bruce-hill.com>2024-08-15 03:01:04 -0400
commit688f883e16e98a94c9654fa2bf6fc8257f01e2e6 (patch)
treebd2bf0ea244eebaa308e5489fd99c418395def38 /typecheck.c
parent66ae30ac29d93ac7346bbb465e6c49f540ec4079 (diff)
Add array:find()
Diffstat (limited to 'typecheck.c')
-rw-r--r--typecheck.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/typecheck.c b/typecheck.c
index b893ab93..388e8d7a 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -714,6 +714,7 @@ type_t *get_type(env_t *env, ast_t *ast)
else if (streq(call->name, "by")) return self_value_t;
else if (streq(call->name, "clear")) return Type(VoidType);
else if (streq(call->name, "counts")) return Type(TableType, .key_type=Match(self_value_t, ArrayType)->item_type, .value_type=INT_TYPE);
+ else if (streq(call->name, "find")) return INT_TYPE;
else if (streq(call->name, "from")) return self_value_t;
else if (streq(call->name, "has")) return Type(BoolType);
else if (streq(call->name, "heap_pop")) return Match(self_value_t, ArrayType)->item_type;