diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-08-10 16:36:50 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-08-10 16:36:50 -0400 |
| commit | 948d6b4c22b07d0ec7affd79b29ba0200f3498fa (patch) | |
| tree | 0908cf76f535ac0a9e828cf33720cf91fd9d4a74 /typecheck.c | |
| parent | 4265728cbbe80dd993ef38ef60e32a06e57cb7ff (diff) | |
Add array:counts()
Diffstat (limited to 'typecheck.c')
| -rw-r--r-- | typecheck.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typecheck.c b/typecheck.c index 00839898..d8691544 100644 --- a/typecheck.c +++ b/typecheck.c @@ -707,6 +707,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, "reversed")) return self_value_t; else if (streq(call->name, "unique")) return Type(SetType, .item_type=Match(self_value_t, ArrayType)->item_type); + 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, "heapify")) return Type(VoidType); else if (streq(call->name, "heap_push")) return Type(VoidType); else if (streq(call->name, "heap_pop")) return Match(self_value_t, ArrayType)->item_type; |