`bad-header`

The file's package header is missing or wrong.

compile error, shown by synod check.

The first non-blank line of every file is # package <name>. The name is the folder name, or main for the folder's one main file. It is also an error if the name starts upper-case or is a reserved word.

Example

Check this program to see the diagnostic.

# package q
define One
  result 1

Diagnostic

p/p.synod:1:1: error[bad-header]: package "q" must be the folder name "p" or main

Fix

Name the package after its folder.

# package p
define One
  result 1