def hint.sync

ezx@1.11.0.0 · src/ez/main.bend:76

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

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