def span_cmp

bend-ml-llama@0.2.1.0 · main.bend:1538

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

import Base

1538def span_cmp(ok: Bool, +path: String, +t: Nat) -> IO(Unit):
1539  match ok:
1540    case True{}:
1541      IO.pure(Unit, Unit{})
1542    case False{}:
1543      IO.die(Unit, 1, path ++ ": tensor " ++ Nat.show(t) ++ " of w/st.txt ends past the end of the file or starts beyond 4 GiB (File.read_at takes a U32 offset); run reference/prep.py --index")

Uses (9)

Used by (1)

bend-ml-llama@0.2.1.0/main:span_ok