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

RValue, LValue concept working, Assigning to numbers is now illegal!

Browse Source
This commit is contained in:
Krzosa Karol
2022-06-01 13:28:38 +02:00
parent a5267bb8ae
commit 02b6a1c85b
4 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lambdas.kl
View File

@@ -14,7 +14,7 @@ if_stmt :: (cond: int): type
for_stmt :: () for_stmt :: ()
for i := 0, i + 10, i for i := 0, i + 10, i+=1
pass pass
add_10 :: (size: int): int add_10 :: (size: int): int

4
main.cpp
View File

@@ -93,12 +93,12 @@ int main(){
printf("%s", result.str); printf("%s", result.str);
result = compile_file("enums.kl"_s); result = compile_file("enums.kl"_s);
printf("%s", result.str); printf("%s", result.str);
result = compile_file("lambdas.kl"_s);
printf("%s", result.str);
result = compile_file("order1.kl"_s); result = compile_file("order1.kl"_s);
printf("%s", result.str); printf("%s", result.str);
result = compile_file("order2.kl"_s); result = compile_file("order2.kl"_s);
printf("%s", result.str); printf("%s", result.str);
result = compile_file("lambdas.kl"_s);
printf("%s", result.str);
__debugbreak(); __debugbreak();
} }

4
order2.kl
View File

@@ -56,11 +56,11 @@ test_assignments :: ()
i >>= 2 i >>= 2
i <<= 2 i <<= 2
i + 4 = 32
8 = 32
j: *int j: *int
*j = 1 *j = 1
/* invalid /* invalid
8 = 32
i + 4 = 32
i += "String" i += "String"
*/ */

4
typecheck.cpp
View File

@@ -73,9 +73,8 @@ resolve_stmt(Ast *ast, Ast_Resolved_Type *ret){
sym_insert(sym); sym_insert(sym);
} }
else if(token_is_assign(node->op)){ else if(token_is_assign(node->op)){
// @todo: assign value to constant
// @todo: lvalue concept, passing down syms to change (constants)
Operand left = resolve_expr(node->left); Operand left = resolve_expr(node->left);
if(!left.is_lvalue) parsing_error(node->pos, "Assigning to rvalue");
Operand right = resolve_expr(node->right); Operand right = resolve_expr(node->right);
if(left.type != right.type) parsing_error(node->pos, "Different types"); if(left.type != right.type) parsing_error(node->pos, "Different types");
} }
@@ -89,7 +88,6 @@ resolve_stmt(Ast *ast, Ast_Resolved_Type *ret){
} }
CASE(FOR, For){ CASE(FOR, For){
// @todo: I think we need to bring back the Ast_Init, it was not an expression
resolve_expr(node->init, ret); resolve_expr(node->init, ret);
Operand cond = resolve_expr(node->cond); // @todo: typechecking Operand cond = resolve_expr(node->cond); // @todo: typechecking
resolve_expr(node->iter, ret); resolve_expr(node->iter, ret);