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/// FFI: profile a `.ixe` out of circuit and write a `.ixprof` sidecar.
3015#[unsafe(no_mangle)]
3016pub extern "C" fn rs_kernel_profile_anon(
3017 env_path: LeanString<LeanBorrowed<'_>>,
3018 out_path: LeanString<LeanBorrowed<'_>>,
3019 isolate: LeanBool<LeanBorrowed<'_>>,
3020 quiet: LeanBool<LeanBorrowed<'_>>,
3021) -> LeanIOResult<LeanOwned> {
3022 match profile_anon_ixe(
3023 &env_path.to_string(),

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