MCPcopy Create free account
hub / github.com/argumentcomputer/ix / build_uniform_error

Function build_uniform_error

crates/ffi/src/kernel.rs:3016–3020  ·  view source on GitHub ↗

Build a result array of length `count` where every slot is the same compile-kind error. Used when compile/ingress/thread setup fails before per-constant checking can begin — the error arose before the kernel was consulted, so `Compile` is the honest tag.

(count: usize, msg: &str)

Source from the content-addressed store, hash-verified

3014 "{prefix} ... REJECTED (compile): {}",
3015 outcome.err_msg()
3016 ));
3017 }
3018 },
3019 CheckStatus::NotFound => {
3020 // Not-found is always unexpected — the Lean side asked for a name
3021 // that compile+ingress didn't produce. Always persist.
3022 progress.persist(&format!("{prefix} ? not found"));
3023 },

Callers 3

rs_kernel_check_constsFunction · 0.85
rs_kernel_check_ixonFunction · 0.85
rs_kernel_check_anonFunction · 0.85

Calls 1

build_result_arrayFunction · 0.85

Tested by

no test coverage detected