From bf18b23ff27bf2106292d54256f2a0c4ffbbcd44 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Tue, 9 Sep 2025 13:41:44 -0400 Subject: Typechecking/promotion for table lookup keys --- src/compile/indexing.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/compile/indexing.c') diff --git a/src/compile/indexing.c b/src/compile/indexing.c index 39af1160..1510e924 100644 --- a/src/compile/indexing.c +++ b/src/compile/indexing.c @@ -52,13 +52,13 @@ Text_t compile_indexing(env_t *env, ast_t *ast) { if (table_type->default_value) { return Texts("Table$get_or_default(", compile_to_pointer_depth(env, indexing->indexed, 0, false), ", ", compile_type(table_type->key_type), ", ", compile_type(table_type->value_type), ", ", - compile(env, indexing->index), ", ", + compile_to_type(env, indexing->index, table_type->key_type), ", ", compile_to_type(env, table_type->default_value, table_type->value_type), ", ", compile_type_info(container_t), ")"); } else { return Texts("Table$get_optional(", compile_to_pointer_depth(env, indexing->indexed, 0, false), ", ", compile_type(table_type->key_type), ", ", compile_type(table_type->value_type), ", ", - compile(env, indexing->index), + compile_to_type(env, indexing->index, table_type->key_type), ", " "_, ", promote_to_optional(table_type->value_type, Text("(*_)")), ", ", -- cgit v1.2.3