def size_cmp

bend-ml-llama@0.2.0.0 · main.bend:1172

import bend-ml-llama@0.2.0.0/main.bend as BendMlLlama

import Base

1172def size_cmp(ok: Bool, +path: String, +got: U32, +want: Nat) -> IO(Unit):
1173  match ok:
1174    case True{}:
1175      IO.pure(Unit, Unit{})
1176    case False{}:
1177      IO.die(Unit, 1, path ++ ": expected " ++ Nat.show(want) ++ " bytes, found " ++ U32.show(got) ++ "; run make prep again")

Uses (11)

Used by (1)

bend-ml-llama@0.2.0.0/main:size_ok