【Rust】電卓に「論理」を。比較演算子の実装と優先順位の階層設計 #6

pub enum Token {
    Number(f64),
    Ident(String),
    HistoryRef(usize), // $1, $2...
    Plus,
    Minus,
    Star,
    Slash,
    Caret,
    LParen,
    RParen,
    Comma,
    Less,          // <　追加部分
    LessEq,        // <=
    Greater,       // >
    GreaterEq,     // >=
    Equal,         // ==
    NotEq,         // !=
    Assign,        // = (将来の変数代入用にあらかじめ定義しておく)
    EOF,
}

// Lexerの中身抜粋
'<' => {
    self.advance(); // '<' を消費
    if self.peek() == Some('=') {
        self.advance(); // '=' を消費
        Token::LessEq
    } else {
        Token::Less
    }
}
'>' => {
    self.advance(); // '>' を消費
    if self.peek() == Some('=') {
        self.advance(); // '=' を消費
        Token::GreaterEq
    } else {
        Token::Greater
    }
}
'=' => {
    self.advance(); // '=' を消費
    if self.peek() == Some('=') {
        self.advance(); // 2つ目の '=' を消費
        Token::Equal
    } else {
        Token::Assign // 単なる '=' 
    }
}
'!' => {
    self.advance(); // '!' を消費
    if self.peek() == Some('=') {
        self.advance(); // '=' を消費
        Token::NotEq
    } else {
        return Err("Expected '=' after '!'".into());
    }
}

pub fn parse(&mut self) -> Result<Expr, String> {
    let expr = self.parse_comparison()?;
    if let Some(Token::EOF) = self.tokens.peek() {
        Ok(expr)
    } else {
        Err(format!("Unexpected token: {:?}", self.tokens.peek()))
    }
}

// 0.　比較演算
fn parse_comparison(&mut self) -> Result<Expr, String> {
    let mut left = self.parse_expression()?; // 次は足し算へ

    while let Some(token) = self.tokens.peek() {
        let op = match token {
            Token::Less => BinOp::Less,
            Token::Greater => BinOp::Greater,
            _ => break,
        };
        self.tokens.next();
        let right = self.parse_expression()?;
        left = Expr::BinaryOp {
            left: Box::new(left),
            op,
            right: Box::new(right),
        };
    }
    Ok(left)
}

// 1. 足し算・引き算 (優先順位：低)
fn parse_expression(&mut self) -> Result<Expr, String> { ... }