def say

ezx@1.11.0.0 · src/ez/prove.bend:97

import Base

97# one proof's line. A proof that held says so in one line; one that did not
98# names itself and then prints what bend said, since that is where the law
99# that failed is named.
100def say(ok: Bool, +path: String, +text: String) -> IO(Unit):
101  match ok:
102    case True{}:
103      IO.print("ok: " ++ path)
104    case False{}:
105      IO.write("FAIL: " ++ path ++ "\n" ++ indent(text))