Method expr

compiler/src/modules/parser/expr.rs:14–30

Entry: Pratt parse, then optional ternary. Recursion is bounded inside `expr_bp`. */

(&mut self)

    /* Entry: Pratt parse, then optional ternary. Recursion is bounded inside `expr_bp`. */
    pub(super) fn expr(&mut self) {
        self.saw_newline = false;
        self.expr_bp(0);

        if !self.saw_newline && matches!(self.peek(), Some(TokenType::If)) {
            self.advance();
            self.expr_bp(0);
            let jf = self.emit_jump(OpCode::JumpIfFalse);
            let jmp = self.emit_jump(OpCode::Jump);
            self.patch(jf);
            self.chunk.emit(OpCode::PopTop, 0);
            self.eat(TokenType::Else);
            // Recurse so a chained conditional in the else-branch parses (right-associative).
            self.expr();
            self.patch(jmp);
        }
    }

    pub(super) fn expr_tails(&mut self) {
        self.postfix_tail();