1 files changed, 7 insertions, 0 deletions

diff --git a/src/semantic.c b/src/semantic.c
index 62c1e86..22d290e 100644
--- a/src/semantic.c
+++ b/src/semantic.c
@@ -280,6 +280,8 @@ resolve_type(ParseTree *ast, Scope *scope, Node *node) {
                     // Check that all arguments are nums.
                     for (size_t i = 0; i < array_size(node->builtin.args); ++i) {
                         Node *arg = node->builtin.args[i];
+                        // TODO: Make sure all arguments have the same type,
+                        // like with numeric expressions.
                         if (!type_is_numeric(arg->expr_type)) {
                             push_error(ERR_TYPE_PARSER, ERR_WRONG_TYPE_NUM,
                                 arg->line, arg->col);
@@ -313,6 +315,7 @@ resolve_type(ParseTree *ast, Scope *scope, Node *node) {
             node->expr_type = type;
         } break;
         case NODE_FUN: {
+            // TODO: don't allow parameters of type void
             node->expr_type = &default_types[TYPE_VOID];
 
             // Fill up new scope with parameters
@@ -368,6 +371,8 @@ resolve_type(ParseTree *ast, Scope *scope, Node *node) {
             node->expr_type = last_expr->expr_type;
         } break;
         case NODE_IF: {
+            // TODO: If we don't have an else, ifexpr.expr_true
+            // must be void for consistency.
             if (!resolve_type(ast, scope, node->ifexpr.cond)) {
                 return false;
             }
@@ -419,6 +424,7 @@ resolve_type(ParseTree *ast, Scope *scope, Node *node) {
             }
         } break;
         case NODE_DEF: {
+            // TODO: don't allow assignment of expressions that return void
             // Prepare value for symbol table.
             Symbol *var = alloc_symval(node->def.symbol, SYMBOL_VAR);
             var->var.type = node->def.type;
@@ -450,6 +456,7 @@ resolve_type(ParseTree *ast, Scope *scope, Node *node) {
             // numbers must fit in the given range (e.g. no negative constants
             // inside a u64, no numbers bigger than 255 in a u8, etc.).
             if (node->number.fractional != 0) {
+                // TODO: 1.0 should also be checked as float.
                 node->expr_type = &default_types[TYPE_F64];
             } else {
                 node->expr_type = &default_types[TYPE_S64];