def check_reads

shake@0.7.0.0 · main.bend:166

import Base
import shake@0.7.0.0/src/cli.bend as S
import shake@0.7.0.0/src/check.bend as K

166# every read that does not fit the spec, in order: a path that names no
167# command, a name no argument of that command has, a flag read of an argument
168# that is not a flag, a value read of a flag. Empty when every read fits;
169# a program checks its reads once, as it checks its spec
170def check_reads(+spec: S.Cli, reads: List<&2, K.Read>) -> List<&2, K.ReadErr>:
171  K.check_reads(spec, reads)