def say

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

import Base
import ezx@1.11.0.0/src/ez/prove.bend as P

26# a comparison that held says nothing. One that did not prints both sides in
27# full: a diff is real work in Bend, and for a handful of short lines the pair
28# reads better than one would.
29def say(ok: Bool, name: String, want: String, got: String) -> IO(Unit):
30  match ok:
31    case True{}:
32      IO.pure(Unit, Unit{})
33    case False{}:
34      IO.write("FAIL: " ++ name ++ "\n  expected:\n" ++ P.indent(want) ++
35        "  observed:\n" ++ P.indent(got))