krzosa/corelang
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tests for new untyped conversions

Browse Source
This commit is contained in:
Krzosa Karol
2022-06-22 14:15:27 +02:00
parent f66b155e40
commit e035a3510f
2 changed files with 22 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
programs/main.kl
View File

@@ -94,6 +94,18 @@ little_untyped_test :: ()
if true;; pass if true;; pass
cast_value1 := 32->S64 cast_value1 := 32->S64
cast_value2 := true->Bool cast_value2 := true->Bool
value3 := !true
value4 := !325252
value5 := !42.42
some_constant :: 10
value6 := !some_constant
var_not_const := 0
value7 := some_constant + - -some_constant + +-32 + -var_not_const
value3 = value3 + value4 + value5 + cast_value2 + value6
cast_value1 += 1 + value7
switch 4 switch 4
4;; OutputDebugStringA("4") 4;; OutputDebugStringA("4")
@@ -104,6 +116,7 @@ little_untyped_test :: ()
val := 4232.23 val := 4232.23
thing: Any = val thing: Any = val
print(val) print(val)
print(some_type)
// print_array({125.23, 32}) // print_array({125.23, 32})
assert(char_info.kind == Type_Info_Kind.CHAR) assert(char_info.kind == Type_Info_Kind.CHAR)
@@ -114,6 +127,7 @@ little_untyped_test :: ()
app_is_running := true app_is_running := true
window_procedure :: (hwnd: HWND, msg: UINT, wparam: WPARAM, lparam: LPARAM): LRESULT window_procedure :: (hwnd: HWND, msg: UINT, wparam: WPARAM, lparam: LPARAM): LRESULT
little_untyped_test()
if msg == WM_DESTROY if msg == WM_DESTROY
PostQuitMessage(0) PostQuitMessage(0)
app_is_running = false app_is_running = false

12
typechecking.cpp
View File

@@ -1005,9 +1005,9 @@ resolve_expr(Ast_Expr *ast, Resolve_Flag flags, Ast_Type *compound_context){
node->resolved_type = node->resolved_decl->type; node->resolved_type = node->resolved_decl->type;
Operand result = operand(node->resolved_decl); Operand result = operand(node->resolved_decl);
if(result.is_const){ if(result.is_const)
rewrite_into_const(node, Ast_Atom, node->resolved_decl->value); rewrite_into_const(node, Ast_Atom, node->resolved_decl->value);
}
return result; return result;
BREAK(); BREAK();
} }
@@ -1030,6 +1030,9 @@ resolve_expr(Ast_Expr *ast, Resolve_Flag flags, Ast_Type *compound_context){
type.type_val = type_slice(type.type_val, node); type.type_val = type_slice(type.type_val, node);
} }
// If this is a type we want to rewrite that type
// int o an integer constant which should be an id
// of that type
if(!is_flag_set(flags, RESOLVE_TYPESPEC)){ if(!is_flag_set(flags, RESOLVE_TYPESPEC)){
rewrite_into_const(node, Ast_Array, type.value); rewrite_into_const(node, Ast_Array, type.value);
} }
@@ -1050,13 +1053,14 @@ resolve_expr(Ast_Expr *ast, Resolve_Flag flags, Ast_Type *compound_context){
CASE(INDEX, Index){ CASE(INDEX, Index){
Operand left = resolve_expr(node->expr, AST_CANT_BE_NULL); Operand left = resolve_expr(node->expr, AST_CANT_BE_NULL);
Operand index = resolve_expr(node->index, AST_CANT_BE_NULL); Operand index = resolve_expr(node->index, AST_CANT_BE_NULL);
if(!is_int(index.type)){ if(!is_int(index.type))
compiler_error(node->pos, "Trying to index the array with invalid type, expected [Int] got instead %Q", typestring(index.type)); compiler_error(node->pos, "Trying to index the array with invalid type, expected [Int] got instead %Q", typestring(index.type));
}
node->index_original_type = left.type; node->index_original_type = left.type;
// @todo: type_architecture? // @todo: type_architecture?
// we only try to convert the index cause array can't be const
// right now
try_propagating_resolved_type_to_untyped_literals(node->index, type_s64); try_propagating_resolved_type_to_untyped_literals(node->index, type_s64);
if(!left.type) if(!left.type)