Function compare_external_refs

crates/compile/src/compile.rs:2442–2459

Compare two non-mutual references by compiled address. Canonical sorting must not fall back to name order here: unresolved names would reintroduce namespace/source-order information into content hashes.

(
  x: &Name,
  y: &Name,
  stt: &CompileState,
  caller: &'static str,
)

  // §10.6) drain on the same boundary for the same reason.
  let arena = std::mem::take(&mut cache.arena);
  let surgery_sharing = std::mem::take(&mut cache.surgery_sharing);
  let meta_univs: Vec<Arc<Univ>> =
    std::mem::take(&mut cache.meta_univs).into_iter().collect();
  let univ_patches = std::mem::take(&mut cache.univ_patches);
  cache.arena_roots.clear();
  cache.exprs.clear();

  let name_addr = compile_name(&rec.cnst.name, stt);
  let lvl_addrs: Vec<Address> =
    univ_params.iter().map(|n| compile_name(n, stt)).collect();

  let data = Recursor {
    k: rec.k,
    is_unsafe: rec.is_unsafe,
    lvls: univ_params.len() as u64,
    params: nat_to_u64(&rec.num_params, "num_params too large")?,
    indices: nat_to_u64(&rec.num_indices, "num_indices too large")?,
    motives: nat_to_u64(&rec.num_motives, "num_motives too large")?,
    minors: nat_to_u64(&rec.num_minors, "num_minors too large")?,
    typ,
    rules,