aboutsummaryrefslogtreecommitdiff
path: root/src/runtime/run.zc
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 10:42:28 +0000
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 10:42:28 +0000
commitea052eab91b304459ddf64281fc93fc152597412 (patch)
tree8dcd378d6634626dd2529c2aef684890999de963 /src/runtime/run.zc
parenttodo: the spec verifier restarted from the first agent's partial work (diff)
parentfix std hover, full capture terminator, bare static calls, void main in run-o... (diff)
Merge four small fixes: std hovers, capture terminator, bare static calls, void main; todo updated
Diffstat (limited to 'src/runtime/run.zc')
-rw-r--r--src/runtime/run.zc5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/runtime/run.zc b/src/runtime/run.zc
index a8f82e2..19a5234 100644
--- a/src/runtime/run.zc
+++ b/src/runtime/run.zc
@@ -8,9 +8,10 @@ include rt;
//
// cat build/run/rt.zc src/runtime/run.zc examples/hello.zc | ./zc0 >build/run/genome.h
-// the program's entry point, written by the program (see start).
+// the program's entry point, written by the program (see start). the prototype is untyped so
+// that main may be declared int, void or untyped, as in any other program: its value is ignored.
namespace;
-int main();
+fn main();
namespace run;
include rt;