def read.third

ezx@1.11.0.0 · src/ez/key.bend:22

import Base

22# exactly three lines, or no record. A cache written before the file and the
23# bend were recorded holds the commit alone, and that reads as no record.
24def read.third(+rev: String, +file: String, ls: List<&2, String>) -> Stamp:
25  match ls:
26    case []:
27      none()
28    case +b <> t:
29      match t:
30        case []:
31          Stamp{rev, file, b}
32        case _h <> _t:
33          none()