def read.cons

ezx@1.11.0.0 · src/ws/joint.bend:781

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ws/workspace.bend as W

781# a member read in front of the rest, unless the rest could not be read
782def read.cons(+dir: List<&2, String>, rd: M.Read, rest: Read) -> Read:
783  match rd:
784    case M.Bad{why}:
785      Unread{"ez: workspace member " ++ W.segs.text(dir) ++ " has an ez.toml that does not parse: " ++ why}
786    case M.Good{mm}:
787      match rest:
788        case Unread{why}:
789          Unread{why}
790        case Read{ms}:
791          Read{Member{dir, mm} <> ms}