Ezx.hint.sync: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/main.bend as Ezx
Lines 76-85 of ezx@1.11.0.0/src/ez/main.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/main.bend&start_line=76&end_line=85

import Base
import ezx@1.11.0.0/src/share/say.bend as Say
import ezx@1.11.0.0/src/io/file.bend as F

# `sync` with no tools is lock or install; a ledger that pins tools already
# names the command that builds them. Anything else is the parser's own error.
def hint.sync(is_sync: Bool) -> IO(Unit):
  match is_sync:
    case False{}:
      IO.pure(Unit, Unit{})
    case True{}:
      do IO<Unit>:
        m : Maybe<&2, String> <- F.read("ez.toml")
        IO.print_err(Say.hint(Say.has.tools(F.text_of(m))))

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.print_err
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=text_of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=has.tools
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=hint