brilck: Error when @main has a return type

sampsyo · Sep 8, 2023 · 19ad341 · 19ad341
1 parent 4652a8f
commit 19ad341
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);
+      }
+    }
   }
 }