diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-04-05 02:26:18 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-04-05 02:26:18 -0400 |
| commit | 4299f6e24305d61e6c63b6312af1db887bfa864c (patch) | |
| tree | b413a254ad6b61f6bdc88f0e0419377135dcb03c /src/typecheck.c | |
| parent | 486f2153e84f2b82ddffc601de75289cddb9c942 (diff) | |
More fixes
Diffstat (limited to 'src/typecheck.c')
| -rw-r--r-- | src/typecheck.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/typecheck.c b/src/typecheck.c index 7b86ec63..bc9ae071 100644 --- a/src/typecheck.c +++ b/src/typecheck.c @@ -892,7 +892,9 @@ type_t *get_type(env_t *env, ast_t *ast) if (streq(call->name, "serialized")) // Data serialization return Type(ArrayType, Type(ByteType)); - type_t *self_value_t = value_type(get_type(env, call->self)); + type_t *self_value_t = get_type(env, call->self); + if (!self_value_t) code_err(call->self, "Couldn't get the type of this value"); + self_value_t = value_type(self_value_t); switch (self_value_t->tag) { case ArrayType: { type_t *item_type = Match(self_value_t, ArrayType)->item_type; |