def decide.pin

ezx@1.11.0.0 · src/tool/plan.bend:1008

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW

1008# a pin at no commit cannot be built; its rev is a directory name, so it has
1009# to be one
1010def decide.pin(ok: Bool, +name: String, +rev: String, +world: TW.World) -> Verdict:
1011  match ok:
1012    case True{}:
1013      decide.place(place(world), world)
1014    case False{}:
1015      Stop{"ez: tools." ++ name ++ " in ez.lock.toml has no commit" ++
1016        Bool.pick(String, String.is_empty(rev), "", ": " ++ rev)}