Workspace.entries.bad: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
Lines 124-131 of ezx@1.11.0.0/src/ws/workspace.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&start_line=124&end_line=131

import Base

# the first entry that names no directory a workspace can name, "" for none
def entries.bad(es: List<&2, Entry>) -> String:
  match es:
    case []:
      ""
    case +hd <> tl:
      rest = entries.bad(tl)
      Bool.pick(String, dir.ok(entry.dir(hd)), rest, entry.text(hd))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=dir.ok
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=entry.dir
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=entry.text