def line.err

ezx@1.11.0.0 · src/ez/line.bend:158

import Base
import shake@0.6.0.0/main.bend as Shake

158# a line Shake would not parse: a request for help, whose path Shake has
159# already checked word by word (SHAKE-PARSE-8: `help bogus` fails as
160# `Unexpected`, not as a request for help), or a usage error
161def line.err(help: Maybe<&2, List<&2, String>>, +app: Shake.Cli, err: Shake.ParseErr) -> Line:
162  match help:
163    case Some{path}:
164      Shows{Shake.help(app, path)}
165    case None{}:
166      Misuse{Shake.err_text(app, err)}