extra-main

A folder has more than one `define main`, or `define main` is in a library file.

compile error, shown by synod check.

A folder holds at most one main file, a main file holds exactly one define main, and define main appears only in main files.

Example

Check this program to see the diagnostic.

# package main
use std/sim

define main
  sim.Seed 1

define main
  sim.Seed 2

Diagnostic

p/main.synod:7:1: error[extra-main]: a second "define main"

Fix

Keep one `define main`.

# package main
use std/sim

define main
  sim.Seed 1