summaryrefslogtreecommitdiff
path: root/src/analysis/typecheck.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/analysis/typecheck.c')
-rw-r--r--src/analysis/typecheck.c8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/analysis/typecheck.c b/src/analysis/typecheck.c
index e83bb4b..1faff2c 100644
--- a/src/analysis/typecheck.c
+++ b/src/analysis/typecheck.c
@@ -15,7 +15,10 @@ static void tc_error(TypeChecker *tc, Token t, const char *msg)
static void tc_enter_scope(TypeChecker *tc)
{
Scope *s = malloc(sizeof(Scope));
- if (!s) return;
+ if (!s)
+ {
+ return;
+ }
s->symbols = NULL;
s->parent = tc->current_scope;
tc->current_scope = s;
@@ -365,6 +368,9 @@ static void check_node(TypeChecker *tc, ASTNode *node)
case NODE_EXPR_CALL:
check_expr_call(tc, node);
break;
+ case NODE_EXPR_ARRAY_LITERAL:
+ check_node(tc, node->array_literal.elements);
+ break;
default:
// Generic recursion for lists and other nodes.
// Special case for Return to trigger move?