Enum EmittedFieldType 

pub enum EmittedFieldType {
    Int,
    Float,
    Bool,
    Unit,
    String,
    ListInt,
}

Erased canonical type tag the build.rs binding generator uses to pick the Rust type for each #main parameter / return slot.

Phase 2 covers Int / Bool / String / internal unit slots. Float, Lists, nested schemas, and closure-valued returns surface as UnsupportedSignature at emit-object time so the binding never sees a type tag it can’t handle.

Three-crate triple contract

This tag is the byte-for-byte-identical seam shared by three crates; the enum is mirrored (not shared) so the runtime shim and build generator don’t take a dep on this codegen crate:

1. relon_codegen_llvm (this enum) — produced by [lower_field_descriptors].
2. relon_rs_shims::EmittedFieldType — the runtime mirror; call_buffer_entry packs/unpacks per variant.
3. relon_rs_build — rust_type_for maps each variant to the Rust surface type + ArgValue / RetValue constructor.

Adding a variant is a four-touch change: (1) add the variant here + its arm in [lower_field_descriptors]; (2) add the mirror variant + the *_in / *_out sibling helpers in relon_rs_shims::marshal; (3) add the rust_type_for table row in relon_rs_build; (4) extend the cross-crate round-trip guard test. The guard test in relon-rs-build/tests/marshal_roundtrip.rs fails closed if any of the three drift.

Variants

Int

i64. Inline slot at offset, 8/8.

Float

f64. Inline slot at offset, 8/8 (8 LE bytes, IEEE-754).

Bool

bool. Inline slot at offset, 1/1.

Unit

(). Inline slot at offset, 1/1 (always reads as zero).

String

&str / String. Pointer-indirect: fixed slot is a 4-byte buffer-relative offset to a [len: u32 LE][utf8 bytes] tail record. Build.rs uses BufferBuilder::write_string to pack inputs and BufferReader::read_string to decode outputs.

ListInt

&[i64] / Vec<i64>. Pointer-indirect (like String): the fixed slot is a 4-byte buffer-relative offset to a [len: u32 LE][pad to 8][i64 LE …] tail record (8/8-inline elements, byte-identical to the ConstPool add_list_int blob). Build.rs uses BufferBuilder::write_list_int to pack inputs and BufferReader::read_list_int to decode outputs.

Trait Implementations

impl Clone for EmittedFieldType

fn clone(&self) -> EmittedFieldType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for EmittedFieldType

impl Debug for EmittedFieldType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for EmittedFieldType

impl PartialEq for EmittedFieldType

fn eq(&self, other: &EmittedFieldType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for EmittedFieldType