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

Function build_mut_ctx

crates/kernel/src/ingress.rs:399–405  ·  view source on GitHub ↗
(
  meta: &ConstantMeta,
  names: &FxHashMap<Address, Name>,
  name_to_addr: &FxHashMap<Name, Address>,
)

Source from the content-addressed store, hash-verified

397///
398/// If the `name_to_addr` lookup misses, that means the Named entry we expected
399/// the compile pipeline to register is missing — bailing with an error is far
400/// better than guessing (the prior behavior synthesized a name-hash address as
401/// a fallback, which produced **ghost KConsts**: KIds referring to addresses
402/// that no KConst was ever stored at, causing obscure downstream lookup
403/// failures and alpha-collapse confusion).
404fn resolve_all<M: KernelMode>(
405 all_addrs: &[Address],
406 names: &FxHashMap<Address, Name>,
407 name_to_addr: &FxHashMap<Name, Address>,
408) -> Result<Vec<KId<M>>, String> {

Callers 3

ingress_defnFunction · 0.85
ingress_recursorFunction · 0.85
ingress_muts_inductiveFunction · 0.85

Calls 2

resolve_allFunction · 0.85
get_ctx_addrsFunction · 0.85

Tested by

no test coverage detected