summaryrefslogtreecommitdiff
path: root/src/compiler
diff options
context:
space:
mode:
authorA404M <ahmadmahmoudiprogrammer@gmail.com>2025-04-04 13:17:48 +0330
committerA404M <ahmadmahmoudiprogrammer@gmail.com>2025-04-04 13:17:48 +0330
commit2a03e1e42906605be5ea093bcaca212c41acb62f (patch)
treeb00b4b792ed7e76c5d3526e8152d568a90f0fdc7 /src/compiler
parentf570c63542bc644d829aff8c470db2385a3c5180 (diff)
returning functions now work
Diffstat (limited to 'src/compiler')
-rw-r--r--src/compiler/ast-tree.c6
-rw-r--r--src/compiler/parser.c10
2 files changed, 11 insertions, 5 deletions
diff --git a/src/compiler/ast-tree.c b/src/compiler/ast-tree.c
index 77b93d6..4c6d36d 100644
--- a/src/compiler/ast-tree.c
+++ b/src/compiler/ast-tree.c
@@ -2897,7 +2897,11 @@ bool setTypesReturn(AstTree *tree, AstTreeSetTypesHelper _helper,
};
if (!setAllTypes(metadata->value, helper, NULL)) {
return false;
- } else if (!typeIsEqual(metadata->value->type, function->returnType)) {
+ }
+ if (helper.lookingType != function->returnType) {
+ astTreeDelete(helper.lookingType); // TODO: change plan
+ }
+ if (!typeIsEqual(metadata->value->type, function->returnType)) {
printError(tree->str_begin, tree->str_end, "Type mismatch");
return false;
}
diff --git a/src/compiler/parser.c b/src/compiler/parser.c
index 12985e1..69a9c8a 100644
--- a/src/compiler/parser.c
+++ b/src/compiler/parser.c
@@ -1156,7 +1156,6 @@ ParserNode *parserFunction(LexerNode *node, LexerNode *begin, LexerNode *end,
ParserNode *parent) {
LexerNode *paramsNode = node - 1;
LexerNode *retTypeNode = node + 1;
- LexerNode *bodyNode = node + 2;
if (paramsNode < begin || paramsNode->parserNode == NULL) {
printError(node->str_begin, node->str_end, "No params");
return NULL;
@@ -1166,12 +1165,15 @@ ParserNode *parserFunction(LexerNode *node, LexerNode *begin, LexerNode *end,
}
ParserNode *params = getUntilCommonParent(paramsNode->parserNode, parent);
ParserNode *retType = getUntilCommonParent(retTypeNode->parserNode, parent);
- ParserNode *body;
- if (bodyNode >= end || bodyNode->parserNode == NULL) {
+ LexerNode *bodyNode =
+ getNextLexerNodeUsingCommonParent(retTypeNode, end, parent);
+
+ ParserNode *body;
+ if (bodyNode == NULL || bodyNode >= end || bodyNode->parserNode == NULL) {
body = NULL;
} else {
- body = getUntilCommonParent(bodyNode->parserNode, parent);
+ body = bodyNode->parserNode;
if (body == NULL || body->token != PARSER_TOKEN_SYMBOL_CURLY_BRACKET) {
printError(node->str_begin, node->str_end, "Bad body");
return NULL;