Build-result projections deliberately return empty bytes on refusal. The
list fold above converts that sentinel into a named failed region, and the
final artifact projection therefore fails closed rather than publishing a
truncated program table.
262def coppeliusProgramImage =
263 (lambda unrestricted program : (family SM86Program) .
264 (eliminate
265 SM86ProgramEncodingResult
266 (lambda unrestricted current : (family SM86ProgramEncodingResult) . Bytes)
267 (sm86EncodeProgram program)
268 (branch SM86ProgramEncodingSucceeded image telemetry . image)
269 (branch SM86ProgramEncodingFailed ordinal failure telemetry . b"")))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.