sqlode/query_analyzer/expr_parser

Recursive-descent parser that turns a list of SQL tokens into the expression-aware IR (query_ir.Expr / query_ir.SelectCore / query_ir.Stmt).

The parser is deliberately permissive: it models the SQL subset sqlode needs to reason about (the constructs exercised by the fixtures in test/fixtures/complex_sql/) and falls back to query_ir.RawExpr / query_ir.UnstructuredStmt with an explicit reason string when it hits a construct it does not understand. The downstream analyzer surfaces these as AnalysisError.UnsupportedExpression, so “silent fallback to StringType” never happens — every gap is tied to a concrete IR node an operator can point at.

Precedence roughly follows PostgreSQL’s operator table:

1. OR
2. AND
3. NOT
4. IS [NOT] NULL/TRUE/FALSE, IS [NOT] DISTINCT FROM
5. =, <>, !=, <, >, <=, >=, LIKE, ILIKE, IN, BETWEEN, SIMILAR TO, @>, <@, ?|, ?&, &&
6. +, -, ||, JSON ops (->, ->>, #>, #>>)
7. *, /, %
8. unary -, +
9. ::type cast
10. function calls / atoms

pub fn parse_expr(tokens: List(lexer.Token)) -> query_ir.Expr

pub fn parse_select_core(
  tokens: List(lexer.Token),
) -> #(query_ir.SelectCore, List(lexer.Token))

pub fn parse_stmt(tokens: List(lexer.Token)) -> query_ir.Stmt