Crate lua_parse

Expand description

Lua parser — translates the token stream produced by the lexer into bytecode prototypes (LuaProto).

§C source

reference/lua-5.4.7/src/lparser.c (1968 lines, 95 functions)

BlockCnt and LhsAssign form intrusive linked lists in C via raw pointers to stack-allocated nodes. In Rust they become Option<Box<...>> chains; enter_block pushes, leave_block pops.
FuncState.prev similarly uses Option<Box<FuncState>>.
FuncState.f is Box<LuaProto> during compilation (owned, mutably accessible). types.tsv maps it to GcRef<LuaProto> but interior- mutability via Rc<RefCell<...>> would be too noisy; Phase B can switch. PORT NOTE: FuncState.f is Box, not GcRef.
LexState is logically defined in lua-lex; a minimal stub is declared here for Phase A. Phase B will replace with lua_lex::LexState once inter-crate deps are wired.
Cross-crate calls to lua_code::luaK_* and lua_lex::luaX_* are written as qualified paths and will resolve in Phase B.
LuaState is from lua-vm; referenced here as an unresolved import.

BlockCnt: In C: stack-allocated, chained via raw *previous pointer. In Rust: heap-allocated in an Option<Box<BlockCnt>> chain on FuncState.
ConsControl: PORT NOTE: C stores expdesc *t as a pointer to the caller’s expdesc. Rust stores a copy of the table descriptor; callers must sync back if they mutate it. Phase B may restructure.
DynData: C stored C-style dynamic arrays (arr/n/size); Rust uses Vec.
ExprDesc: Field t/f are patch-lists for short-circuit boolean evaluation.
ExprPayload: PORT NOTE: C uses a union; all arms share memory. Rust keeps all fields in one struct for Phase A simplicity. Phase B may refactor to a proper enum.
FuncState: In C: stack-allocated in body(), chained via raw *prev pointer. In Rust: heap-allocated via Option<Box<FuncState>> in LexState.
LabelDesc
LexState: PORT NOTE: This is a Phase A stub. In Phase B, LexState lives in lua-lex and lua-parse imports it. FuncState will move here or be passed separately. The fs field creates a circular-crate dependency that Phase B must resolve (likely: both live in one crate).
LexToken
LhsAssign: In C: stack-allocated, chained via raw *prev. In Rust: Option<Box<...>>.
LuaState: Per-thread Lua execution state.
TokenValue: Semantic info attached to a token.
VarDesc: PORT NOTE: C uses a union (vd fields + k for const value). Rust keeps all fields in a struct. The const_val field is only meaningful when kind == VarKind::CompileTimeConst.

nvarstack: Returns the number of variables currently occupying registers. LUAI_FUNC visibility.
parse