Ends.no.main: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/ends.bend as Ends
Lines 31-45 of ezx@1.11.0.0/src/ez/ends.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/ends.bend&start_line=31&end_line=45

import Base

# `bend f -o out` checks without running main. A clean file prints nothing at
# all, and a library entry, having no main, checks clean and then exits 1 with
# "no main to run" from the emit. A check failure throws before the emit, so
# that message can only follow a check that passed.
#
# It is matched as a whole line, because that is the shape of the thing being
# claimed: bend prints it as `Error: no main to run` and nothing else. Asked as
# a substring of the whole output, the same words appearing anywhere (inside
# some other error's text, or in a source line bend echoed back while
# reporting on it) would answer yes and mean nothing, and a failing check
# would read as a passing one. Two other line-shaped facts in this tree were
# being asked of whole files the same way, and one of them silently dropped a
# test before it was caught.
def no.main(+line: String) -> Bool:
  String.eq(line, "Error: no main to run")

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq