Method build

crates/ffi/src/compile.rs:1167–1205

Build a Lean Ixon.SerializeError from a Rust SerializeError. Tags 0–6: 0: unexpectedEof (expected : String) → 1 obj 1: invalidTag (tag : UInt8) (context : String) → 1 obj + 1 scalar (UInt8) 2: invalidFlag (flag : UInt8) (context : String) → 1 obj + 1 scalar (UInt8) 3: invalidVariant (variant : UInt64) (context : String) → 1 obj + 8 scalar (UInt64) 4: invalidBool (value : UInt8) → 0 obj + 1 scalar

(se: &SerializeError)

/// FFI: Look up a constant's compiled address from RustCompiledEnv.
/// Copies the 32-byte blake3 hash into the provided ByteArray.
/// Returns 1 on success, 0 if name not found.
#[cfg(feature = "test-ffi")]
#[unsafe(no_mangle)]
extern "C" fn rs_lookup_const_addr(
  rust_env: *const RustCompiledEnv,
  name_ptr: LeanOwned,
  out_addr: LeanByteArray<LeanOwned>,
) -> u64 {
  if rust_env.is_null() {
    return 0;
  }
  let global_cache = GlobalCache::default();
  let name = decode_name(name_ptr.borrow(), &global_cache);

  let rust_env = unsafe { &*rust_env };

  // Look up the address for this name
  match rust_env.compile_state.name_to_addr.get(&name) {
    Some(addr_ref) => {
      // Copy the 32-byte address into the output ByteArray
      unsafe { out_addr.set_data(addr_ref.as_bytes()) };
      1
    },
    None => 0,
  }
}

/// FFI: Get the total number of compiled constants in RustCompiledEnv.
#[cfg(feature = "test-ffi")]
#[unsafe(no_mangle)]
extern "C" fn rs_get_compiled_const_count(
  rust_env: *const RustCompiledEnv,
) -> u64 {
  if rust_env.is_null() {
    return 0;
  }
  let rust_env = unsafe { &*rust_env };
  rust_env.compile_state.name_to_addr.len() as u64
}

// =============================================================================