brilck: Error when @main has a return type

Pat-Lafon · Sep 9, 2023 · f03c53e · f03c53e
1 parent 1207cb2
commit f03c53e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/brilck.ts b/brilck.ts
@@ -394,6 +394,14 @@ function checkProg(prog: bril.Program) {
   // Check each function.
   for (let func of prog.functions) {
     checkFunc(funcEnv, func);
+
+    // The @main function must not return anything.
+    if (func.name === 'main') {
+      if (func.type) {
+        err(`@main must have no return type; found ${typeFmt(func.type)}`,
+            func.pos);
+      }
+    }
   }
 }