def one

ezx@1.11.0.0 · src/ez/test.bend:56

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/ez/gate.bend as G
import ezx@1.11.0.0/src/ez/quiet.bend as Q

56# one test against its own trailer
57def one(+path: String, +output: String, score: Tally) -> IO(Tally):
58  do IO<Tally>:
59    src : Maybe<&2, String> <- F.read(path)
60    check(path, G.trailer(F.text_of(src)), Q.filter(R.text(output)), score)