#Extensible SQL Lexer and Parser for MoonBit

#Example Usage

// Parse a simple SELECT statement
let sql = "SELECT name, age FROM users WHERE age > 18"
let statements = parse_sql(sql)
let pretty_output = statements.stmts[0] |> pretty_print
println(pretty_output)

// Parse complex queries with CTEs
let complex_sql = """
WITH sales AS (
  SELECT user_id, SUM(amount) as total
  FROM orders 
  WHERE date > '2023-01-01'
  GROUP BY user_id
)
SELECT u.name, s.total
FROM users u
JOIN sales s ON u.id = s.user_id
ORDER BY s.total DESC
LIMIT 10
"""
let result = parse_sql(complex_sql)

// Parse transaction control statements
let tcl_sql = "BEGIN TRANSACTION; INSERT INTO users VALUES ('Alice'); COMMIT;"
let tcl_statements = parse_sql(tcl_sql)

// Parse data control statements
let dcl_sql = "GRANT SELECT, INSERT ON users TO alice WITH GRANT OPTION"
let dcl_result = parse_sql(dcl_sql)

// Dialect-specific parsing
let mysql_sql = "SHOW TABLES LIKE 'user%'"
let mysql_result = parse_sql(dialect=MySQL::{}, mysql_sql)

#Architecture

• Lexer (lexer.mbt): Tokenizes SQL input with dialect-aware keyword recognition
• Parser (parser.mbt): Main parsing logic with statement dispatching
• AST (ast.mbt): Complete Abstract Syntax Tree definitions with pretty printing
• Dialect Modules: Separate modules for each SQL dialect (mysql.mbt, postgres.mbt, etc.)
• Language Modules:
  • dml.mbt: Data Manipulation Language parsing
  • ddl.mbt: Data Definition Language parsing
  • tcl.mbt: Transaction Control Language parsing
  • dcl.mbt: Data Control Language parsing

#Testing

• All SQL statement types across all language categories
• Dialect-specific features and syntax variations
• Complex expressions and nested queries
• Edge cases and error handling
• Pretty printing accuracy

moon test

#Contributing

1. Add keywords to keyword.mbt and lexer.mbt
2. Define AST structures in ast.mbt
3. Implement parsing logic in appropriate language module
4. Add statement cases to parser.mbt

#Contributing

1. Add keywords to keyword.mbt and lexer.mbt
2. Define AST structures in ast.mbt
3. Implement parsing logic in appropriate language module
4. Add statement cases to parser.mbt
5. Write comprehensive tests

#License