diff --git a/src/typecheck.c b/src/typecheck.c
index d924b0aa..a4941721 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -245,6 +245,8 @@ static Signature handle_signature(FileTypes *ft, const AstSignature *astsig, con
     else
         sig.returntype = type_from_ast(ft, &astsig->returntype);
 
+    // TODO: validate main() parameters
+    // TODO: test main() taking parameters
     if (!self_type && !strcmp(sig.name, "main") && sig.returntype != intType) {
         fail_with_error(astsig->returntype.location, "the main() function must return int");
     }