Enum DialetoError

Source

pub enum DialetoError {
    Vazio,
    NaoEhLista,
    CabecaErrada {
        encontrado: String,
    },
    Leitura(String),
}

Expand description

A source that is not a (defcaixa …) / (defmolde …) form at all.

Variants§

§

Vazio

§

NaoEhLista

§

CabecaErrada

Fields

§encontrado: String

§

Leitura(String)

Implementations§

Source §

impl DialetoError

Source

pub fn cabeca_errada(encontrado: &str) -> Self

Construct a DialetoError::CabecaErrada naming the offending head symbol found at the top-level form.

Substrate primitive every classify_form wrong-head fallthrough wire-up site now routes through, folding the pre-lift uniform three-line Self::CabecaErrada { encontrado: <head>.to_string() } one-field struct-literal onto one substrate primitive matching the peer LimitsError::unknown_byte_unit(unit: &str) / LimitsError::unknown_duration_unit(unit: &str) (limits_codec_unit_only_ctors! — 29fac09) single-slot discipline on the sibling one-field { <field>: String } envelope axis, and matching the peer ManifestError::code_path_empty / BehaviorError::empty_path / UpgradeError::duplicate_from / AplicacaoError::placement_cluster_duplicate (94dabc8 / 0e33b37 / 7e52aec / 92b1c92) single-slot inherent-ctor discipline every sibling { <field>: <T> } error-envelope variant on caixa-core’s error surface now carries.

The one open-coded wire-up site — classify_form’s wrong-head fallthrough arm on the head: &str binding read from the top-level form via tatara_lisp::Sexp::as_symbol — opened the identical three-line Self::CabecaErrada { encontrado: <head>.to_string() } block against the codec-scoped <head>: &str binding. Now routes through DialetoError::cabeca_errada(head), byte-equal to the pre-lift struct-literal on the same &str fixture, so any future widening of the diagnostic shape (e.g. carrying the source-file path alongside the head symbol, carrying the head symbol’s position offset for an authoring-surface caret pointer) lands at exactly one dispatch on the substrate primitive rather than re- inlining the struct-literal at every wrong-head fallthrough consumer.

Source

pub fn leitura(reason: impl Into<String>) -> Self

Construct a DialetoError::Leitura carrying the offending tatara-lisp reader-error message reason verbatim in the variant’s tuple-newtype payload.

Substrate primitive every classify tatara-lisp-reader map-err wire-up site now routes through, folding the pre-lift uniform Self::Leitura(<into-String-expr>) tuple-newtype construction onto one substrate primitive matching the peer LimitsError::empty_byte_size / LimitsError::empty_duration (7a4b003 / 319216c) (String) single-slot tuple-newtype discipline on the sibling crate::limits::LimitsError envelope’s empty-shape axis of the paired codec-magnitude family. Peer to the sibling DialetoError::cabeca_errada ctor on the same envelope’s wrong-head axis but on the tatara-lisp-reader axis rather than the classifier-fallthrough axis. Closes the last un-lifted variant on DialetoError — every one of the sole wire-up sites (the classify tatara-lisp-reader .map_err(|e| Self::Leitura(e.to_string())) arm) opened the identical DialetoError::Leitura(<into-String-expr>) block against the codec-scoped String (e.to_string()) binding, so the fold routes the site through one dispatch on a uniform impl Into<String> param, byte-equal to the pre-lift tuple-newtype construction on the same argument.

The impl Into<String> bound covers both wire-up shapes on classify — a String binding (e.to_string() on the [tatara_lisp::Error]-carrying e binding) and a &str binding (a future admission-webhook consumer probing a caller-scoped &'static str fixture, a future feira lint --tatara-reader-round-trip verb sweeping every tatara_lisp::read return through the same shape gate) — without forcing the caller to spell the conversion at the wire-up site. Same shape the peer crate::limits::LimitsError::empty_byte_size / crate::limits::LimitsError::empty_duration / crate::limits::LimitsError::bad_millicores / crate::limits::LimitsError::bad_byte_magnitude / crate::limits::LimitsError::bad_duration_magnitude folds carry on the peer bad-magnitude and empty-shape axes of the same paired (String) tuple-newtype codec-magnitude family. #[must_use] fires a compile warning at any wire-up that mistakenly discards the constructed error.

Every future consumer that wants to construct this variant outside classify (a deferred feira lint --tatara-reader- round-trip per-caixa admission verb probing each authored manifest against the tatara-lisp-reader shape gate, an M4 typed mesh.pleme.io/v1alpha1/Servico CR materializer’s per-manifest admission validator re-checking one edited caixa.lisp against the reader floor, a per-caixa.lisp value-shape pre-emitter probing each declared manifest ahead of the operator’s admit-cycle) now reaches the variant through one call rather than re-inlining the tuple-newtype block in lockstep with the pre-existing wire-up.