Struct TailCallInfo 

pub struct TailCallInfo {
    pub recursive_words: HashSet<String>,
}

Information about tail calls for mutual TCO optimization.

Current Status

This struct is currently infrastructure for future use. The existing codegen already emits musttail for all tail calls to user-defined words, so mutual TCO works without explicit call graph checks.

Potential future uses:

• Selective TCO (only optimize detected recursive cycles)
• Diagnostic tools (show which words are mutually recursive)
• Dead code detection (unreachable words in non-recursive paths)

Fields

recursive_words: HashSet<String>

Words that are in a recursive cycle and should get mutual TCO

Implementations

impl TailCallInfo

pub fn from_call_graph(graph: &CallGraph) -> Self

Build tail call info from a call graph.

pub fn should_use_musttail(&self, caller: &str, callee: &str) -> bool

Check if a call from caller to callee is between mutually recursive words.

Returns true if both are in the same recursive cycle.

Note

Currently unused in codegen since all user-word tail calls get musttail. Kept as infrastructure for potential future selective optimization.

Trait Implementations

impl Clone for TailCallInfo

fn clone(&self) -> TailCallInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TailCallInfo

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

Formats the value using the given formatter.