blue_lang_syntax/

lex.rs

//! The blue lexer.
//!
//! Blue's surface is Ruby/Elixir-shaped, so the lexer's job is different
//! from an s-expression reader's: it must distinguish `foo` the send from
//! `foo(x)` the call, keep `:sym` distinct from `a ? b : c`, and record
//! enough position to point a diagnostic at the byte the human typed.
//!
//! Two decisions here are load-bearing downstream and are made once:
//!
//! 1. **Every token carries a byte span.** `theory/BLUE.md` §0 requires
//!    total provenance — every node in an expanded program traceable to the
//!    source that caused it — and provenance cannot be recovered later if
//!    the lexer drops it.
//! 2. **Trivia is a token, not a skip.** Comments and newlines are emitted
//!    rather than discarded, because a canonical formatter and an LSP both
//!    need a lossless stream. The measured failure this avoids is
//!    tatara-lisp's own reader, which discards trivia at tokenize time and
//!    thereby makes a comment-preserving formatter unbuildable on top of it.
//!    Callers that do not want trivia filter it; callers that need it
//!    cannot conjure it back.

use std::fmt;

/// A half-open byte range into the source.
///
/// **tatara-lisp's `Span`, not a blue one.** blue used to declare its own
/// `{ start, end }` pair here, which was a strict subset of the substrate's:
/// tatara's carries the same two fields plus `synthetic()` / `is_synthetic()`,
/// `merge`, `line_col` and a `Display`. Two structurally-identical span types
/// in one pipeline is the duplication that forces a conversion at every
/// boundary — and the boundary that mattered is the one where a *checker*
/// diagnostic reaches the LSP, because a conversion that has to invent a value
/// for "no span" is how a type error ends up reported at line 0.
///
/// Sharing the type also means the parser can emit `tatara_lisp::Spanned`
/// directly: the tree blue parses into is the tree the evaluator eats, spans
/// and all.
pub use tatara_lisp::Span;

#[derive(Clone, Debug, PartialEq)]
pub enum TokenKind {
    // literals
    Int(i64),
    Float(f64),
    Str(String),
    /// An interpolated string: alternating literal and expression parts.
    ///
    /// `"a#{x}b"` lexes to `["a", "b"]` literals with `["x"]` between them —
    /// the expression is kept as SOURCE TEXT and parsed by the parser, which
    /// already knows how to parse an expression. Re-implementing expression
    /// lexing inside the string lexer would be a second parser, and the two
    /// would drift.
    InterpolatedStr {
        /// `parts.len() == exprs.len() + 1`, always — the literal before each
        /// expression, plus the tail. An empty literal is kept rather than
        /// dropped so that invariant holds for `"#{a}#{b}"` too.
        parts: Vec<String>,
        exprs: Vec<String>,
    },
    /// `:name` — a Ruby symbol, which lowers to a tatara-lisp keyword.
    Sym(String),
    Words {
        flavor: crate::words::Flavor,
        words: Vec<(String, Span)>,
    },
    True,
    False,
    Nil,

    /// An identifier, or a keyword-like head (`if`, `do`, `end`, …).
    /// The parser decides which; the lexer does not need to know.
    Ident(String),

    // punctuation
    LParen,
    RParen,
    LBracket,
    RBracket,
    LBrace,
    RBrace,
    Comma,
    Dot,
    /// `:` in a hash literal (`foo: 1`) is folded into `Label`; a bare
    /// colon is retained for anything else.
    Colon,
    /// `::` — the qualifier in `retsu::first`, package on the left and one of
    /// its definitions on the right. One token, so a qualified name never
    /// depends on how two colons happened to lex.
    PathSep,
    /// `foo:` — a hash-literal label. Lexing this as one token is what
    /// makes `{foo: 1}` and `{:foo => 1}` distinguishable at the parser
    /// without lookahead games.
    Label(String),
    /// `=>` — the "rocket".
    Rocket,
    /// `|>` — the pipeline operator.
    Pipe,

    /// Any operator run: `+ - * / == != < <= > >= && || = ! %`.
    Op(String),

    /// `@doc """ … """` or `@moduledoc """ … """`: documentation text, its
    /// indentation and trailing whitespace stripped at lex time
    /// ([`crate::doc`]). Not trivia: the parser puts it in the tree.
    Doc {
        module: bool,
        text: String,
    },

    // trivia — emitted, never skipped
    Comment(String),
    Newline,

    Eof,
}

/// A token as an error message names it: its blue spelling in backticks, or,
/// for the tokens that have no spelling, what it is in words.
///
/// **This is what a parse error says it found.** Errors used to format the
/// token with `{:?}`, so an author who wrote `[1, 2 y]` read
/// `found Ident("y")` — the name of a Rust enum variant, in a language whose
/// surface has no such thing. A message is read by the person who wrote the
/// source, so it speaks the source's vocabulary.
impl fmt::Display for TokenKind {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            Self::Int(v) => write!(f, "the number `{v}`"),
            Self::Float(v) => write!(f, "the number `{v}`"),
            Self::Str(_) | Self::InterpolatedStr { .. } => f.write_str("a string"),
            Self::Sym(s) => write!(f, "the symbol `:{s}`"),
            Self::Words { flavor, .. } => write!(f, "the word list `{}[…]`", flavor.sigil()),
            Self::True => f.write_str("`true`"),
            Self::False => f.write_str("`false`"),
            Self::Nil => f.write_str("`nil`"),
            Self::Ident(n) => write!(f, "`{n}`"),
            Self::LParen => f.write_str("`(`"),
            Self::RParen => f.write_str("`)`"),
            Self::LBracket => f.write_str("`[`"),
            Self::RBracket => f.write_str("`]`"),
            Self::LBrace => f.write_str("`{`"),
            Self::RBrace => f.write_str("`}`"),
            Self::Comma => f.write_str("`,`"),
            Self::Dot => f.write_str("`.`"),
            Self::Colon => f.write_str("`:`"),
            Self::PathSep => f.write_str("`::`"),
            Self::Label(n) => write!(f, "the label `{n}:`"),
            Self::Rocket => f.write_str("`=>`"),
            Self::Pipe => f.write_str("`|>`"),
            Self::Op(o) => write!(f, "`{o}`"),
            Self::Doc { module: false, .. } => f.write_str("`@doc`"),
            Self::Doc { module: true, .. } => f.write_str("`@moduledoc`"),
            Self::Comment(_) => f.write_str("a comment"),
            Self::Newline => f.write_str("the end of the line"),
            Self::Eof => f.write_str("the end of the file"),
        }
    }
}

#[derive(Clone, Debug, PartialEq)]
pub struct Token {
    pub kind: TokenKind,
    pub span: Span,
}

impl Token {
    /// Is this token trivia (a comment or a newline)?
    pub fn is_trivia(&self) -> bool {
        matches!(self.kind, TokenKind::Comment(_) | TokenKind::Newline)
    }
}

#[derive(Clone, Debug, PartialEq)]
pub struct LexError {
    pub message: String,
    pub span: Span,
}

impl fmt::Display for LexError {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(
            f,
            "{} at {}..{}",
            self.message, self.span.start, self.span.end
        )
    }
}

impl std::error::Error for LexError {}

/// Characters that may begin or continue an operator run.
const OP_CHARS: &str = "+-*/=<>!%&|";

/// Tokenize `src`, including trivia.
pub fn lex(src: &str) -> Result<Vec<Token>, LexError> {
    Lexer::new(src).run()
}

struct Lexer<'a> {
    src: &'a str,
    bytes: &'a [u8],
    pos: usize,
    out: Vec<Token>,
}

impl<'a> Lexer<'a> {
    fn new(src: &'a str) -> Self {
        Self {
            src,
            bytes: src.as_bytes(),
            pos: if src.starts_with('\u{feff}') {
                '\u{feff}'.len_utf8()
            } else {
                0
            },
            out: Vec::new(),
        }
    }

    /// Decode the whole UTF-8 character at the cursor, with its byte width.
    ///
    /// The lexer scans bytes because that is right for ASCII, which is all of
    /// blue's structure. This is the seam where it stops being right: a
    /// character outside ASCII has to be decoded before anything can classify
    /// it, and the previous approach — treating every byte >= 0x80 as a letter
    /// — could not tell `≠` from `文`, so an operator was unreachable and a
    /// malformed sequence became a silent identifier.
    fn decode_char(&self) -> Option<(char, usize)> {
        let rest = self.src.get(self.pos..)?;
        let ch = rest.chars().next()?;
        Some((ch, ch.len_utf8()))
    }

    fn peek(&self) -> Option<u8> {
        self.bytes.get(self.pos).copied()
    }

    fn peek_at(&self, n: usize) -> Option<u8> {
        self.bytes.get(self.pos + n).copied()
    }

    fn push(&mut self, kind: TokenKind, start: usize) {
        self.out.push(Token {
            kind,
            span: Span::new(start, self.pos),
        });
    }

    fn err(&self, message: impl Into<String>, start: usize) -> LexError {
        LexError {
            message: message.into(),
            span: Span::new(start, self.pos.max(start + 1)),
        }
    }

    fn run(mut self) -> Result<Vec<Token>, LexError> {
        while let Some(c) = self.peek() {
            let start = self.pos;
            match c {
                b'\n' => {
                    self.pos += 1;
                    self.push(TokenKind::Newline, start);
                }
                // Horizontal whitespace carries no meaning in blue and is
                // reconstructed by the formatter, so it is the one thing
                // dropped. Newlines are kept: they are statement separators.
                b' ' | b'\t' | b'\r' => {
                    self.pos += 1;
                }
                b'#' => {
                    while let Some(c) = self.peek() {
                        if c == b'\n' {
                            break;
                        }
                        self.pos += 1;
                    }
                    let text = self.src[start..self.pos].to_string();
                    self.push(TokenKind::Comment(text), start);
                }
                b'"' => self.lex_string(start)?,
                b'@' => self.lex_doc(start)?,
                b'0'..=b'9' => self.lex_number(start)?,
                b':' => self.lex_colon(start),
                b'(' => self.one(TokenKind::LParen, start),
                b')' => self.one(TokenKind::RParen, start),
                b'[' => self.one(TokenKind::LBracket, start),
                b']' => self.one(TokenKind::RBracket, start),
                b'{' => self.one(TokenKind::LBrace, start),
                b'}' => self.one(TokenKind::RBrace, start),
                b',' => self.one(TokenKind::Comma, start),
                b'.' => self.one(TokenKind::Dot, start),
                // Non-ASCII goes through the UTF-8 layer, which decodes a
                // whole CHARACTER and asks `kigou` what it means. This must
                // precede the ident branch: a symbol like `≠` is an operator,
                // not the first letter of a name.
                c if c >= 0x80 => {
                    let Some((ch, width)) = self.decode_char() else {
                        self.pos += 1;
                        return Err(self.err("invalid UTF-8 in source", start));
                    };
                    match crate::kigou::classify(ch) {
                        crate::kigou::Class::Operator(op) => {
                            self.pos += width;
                            self.push(TokenKind::Op(op.to_owned()), start);
                        }
                        crate::kigou::Class::Word => self.lex_ident(start),
                        crate::kigou::Class::Reject => {
                            self.pos += width;
                            return Err(self.err(
                                format!(
                                    "the character {ch:?} (U+{:04X}) is not legal in blue source \
                                     outside a string — invisible and control characters are \
                                     rejected because source that looks correct and is not costs \
                                     far more than a clear error here",
                                    ch as u32
                                ),
                                start,
                            ));
                        }
                    }
                }
                c if is_ident_start(c) => self.lex_ident(start),
                b'%' if matches!(self.peek_at(1), Some(b'w' | b'i'))
                    && self.peek_at(2) == Some(b'[') =>
                {
                    self.lex_words(start)?;
                }
                c if OP_CHARS.as_bytes().contains(&c) => self.lex_op(start),
                // `;` is refused by name: blue has exactly one statement
                // separator, the new line, so a `;` is a habit from another
                // language rather than a character blue could mean.
                b';' => {
                    self.pos += 1;
                    return Err(self.err(
                        "unexpected `;`: blue ends a statement at the end of the line, \
                         so put the next statement on a new line",
                        start,
                    ));
                }
                _ => {
                    self.pos += 1;
                    return Err(self.err(format!("unexpected character `{}`", c as char), start));
                }
            }
        }
        let end = self.pos;
        self.out.push(Token {
            kind: TokenKind::Eof,
            span: Span::new(end, end),
        });
        Ok(self.out)
    }

    fn one(&mut self, kind: TokenKind, start: usize) {
        self.pos += 1;
        self.push(kind, start);
    }

    fn lex_string(&mut self, start: usize) -> Result<(), LexError> {
        self.pos += 1; // opening quote
        let mut buf = String::new();
        // Interpolation state. `parts` collects the literal run before each
        // `#{…}`; `exprs` collects the raw source between the braces.
        let mut parts: Vec<String> = Vec::new();
        let mut exprs: Vec<String> = Vec::new();
        loop {
            // `#{` opens an interpolation. A bare `#` is just a character — a
            // string full of `#` comments would otherwise be unwritable.
            if self.peek() == Some(b'#') && self.src.as_bytes().get(self.pos + 1) == Some(&b'{') {
                self.pos += 2;
                let expr_start = self.pos;
                let Some(after) = skip_interpolation(self.bytes, self.pos) else {
                    return Err(self.err("unterminated `#{` interpolation", start));
                };
                self.pos = after - 1;
                exprs.push(self.src[expr_start..self.pos].to_string());
                self.pos += 1; // past '}'
                parts.push(std::mem::take(&mut buf));
                continue;
            }
            match self.peek() {
                None => return Err(self.err("unterminated string literal", start)),
                Some(b'"') => {
                    self.pos += 1;
                    break;
                }
                Some(b'\\') => {
                    self.pos += 1;
                    let esc = self
                        .peek()
                        .ok_or_else(|| self.err("unterminated escape", start))?;
                    let ch = match esc {
                        b'n' => '\n',
                        b't' => '\t',
                        b'r' => '\r',
                        b'\\' => '\\',
                        b'"' => '"',
                        b'0' => '\0',
                        // `\u{...}` — a Unicode scalar by codepoint. Ruby and
                        // Elixir both have it, and without it a blue source
                        // file can only carry a non-ASCII character literally,
                        // which is exactly the case where an explicit escape
                        // matters most (combining marks, zero-width joiners,
                        // anything invisible in an editor).
                        b'u' => {
                            self.pos += 1; // past 'u'
                            if self.peek() != Some(b'{') {
                                return Err(self.err("expected `{` after \\u", start));
                            }
                            self.pos += 1; // past '{'
                            let hex_start = self.pos;
                            while self.peek().is_some_and(|c| c != b'}') {
                                self.pos += 1;
                            }
                            if self.peek() != Some(b'}') {
                                return Err(self.err("unterminated \\u{...} escape", start));
                            }
                            let hex = &self.src[hex_start..self.pos];
                            let code = u32::from_str_radix(hex, 16).map_err(|_| {
                                self.err(format!("`{hex}` is not hexadecimal"), start)
                            })?;
                            // A surrogate or out-of-range value is REJECTED, not
                            // replaced with U+FFFD: silently substituting a
                            // different character is how a codepoint typo
                            // becomes a rendering mystery.
                            let ch = char::from_u32(code).ok_or_else(|| {
                                self.err(format!("`{hex}` is not a Unicode scalar value"), start)
                            })?;
                            buf.push(ch);
                            self.pos += 1; // past '}'
                            continue;
                        }
                        other => {
                            return Err(
                                self.err(format!("unknown escape \\{}", other as char), start)
                            )
                        }
                    };
                    buf.push(ch);
                    self.pos += 1;
                }
                Some(_) => {
                    let ch = self.src[self.pos..]
                        .chars()
                        .next()
                        .expect("peek said there is a byte");
                    buf.push(ch);
                    self.pos += ch.len_utf8();
                }
            }
        }
        if exprs.is_empty() {
            self.push(TokenKind::Str(buf), start);
        } else {
            parts.push(buf);
            self.push(TokenKind::InterpolatedStr { parts, exprs }, start);
        }
        Ok(())
    }

    fn lex_doc(&mut self, start: usize) -> Result<(), LexError> {
        self.pos += 1;
        let word_start = self.pos;
        while self.peek().is_some_and(is_ident_continue) {
            self.pos += 1;
        }
        let module = match &self.src[word_start..self.pos] {
            "doc" => false,
            "moduledoc" => true,
            other => {
                return Err(self.err(
                    format!("unexpected `@{other}`: blue's attributes are `@doc` and `@moduledoc`"),
                    start,
                ))
            }
        };
        let word = if module { "@moduledoc" } else { "@doc" };
        while matches!(self.peek(), Some(b' ' | b'\t')) {
            self.pos += 1;
        }
        let opens = self.src[self.pos..].starts_with("\"\"\"");
        let rest_of_line = self.src[self.pos..]
            .split('\n')
            .next()
            .unwrap_or("")
            .get(3..)
            .unwrap_or("x");
        if !opens || !rest_of_line.trim().is_empty() {
            return Err(self.err(
                format!(
                    "`{word}` takes a heredoc: `{word} \"\"\"` alone on its line, the text, \
                     then `\"\"\"` alone on a line"
                ),
                start,
            ));
        }
        self.pos += 3 + rest_of_line.len();
        let body_start = (self.pos + 1).min(self.src.len());
        let mut lines: Vec<&str> = Vec::new();
        let mut at = body_start;
        let closer = loop {
            if at >= self.src.len() {
                self.pos = self.src.len();
                return Err(self.err(
                    format!("unterminated `{word}`: no `\"\"\"` line closes it"),
                    start,
                ));
            }
            let end = self.src[at..].find('\n').map_or(self.src.len(), |i| at + i);
            let line = &self.src[at..end];
            if line.trim() == "\"\"\"" {
                break (line, end);
            }
            lines.push(line);
            at = (end + 1).min(self.src.len() + 1);
        };
        let indent = &closer.0[..closer.0.len() - closer.0.trim_start().len()];
        let mut kept: Vec<&str> = Vec::with_capacity(lines.len());
        for line in lines {
            let line = line.trim_end();
            if line.is_empty() {
                kept.push("");
                continue;
            }
            match line.strip_prefix(indent) {
                Some(l) => kept.push(l),
                None => {
                    return Err(self.err(
                        format!(
                            "a line of this `{word}` is indented less than its closing `\"\"\"`"
                        ),
                        start,
                    ))
                }
            }
        }
        while kept.first() == Some(&"") {
            kept.remove(0);
        }
        while kept.last() == Some(&"") {
            kept.pop();
        }
        let text = kept.join("\n");
        if text.contains("\"\"\"") {
            return Err(self.err(format!("a `{word}` text cannot hold `\"\"\"`"), start));
        }
        let close_at = closer.1 - closer.0.trim_start().len() + 3;
        self.pos = close_at;
        self.push(TokenKind::Doc { module, text }, start);
        Ok(())
    }

    fn lex_words(&mut self, start: usize) -> Result<(), LexError> {
        use crate::words::Flavor;
        let flavor = if self.peek_at(1) == Some(b'w') {
            Flavor::Strings
        } else {
            Flavor::Keywords
        };
        self.pos += 3;
        let mut words = Vec::new();
        loop {
            while matches!(self.peek(), Some(b' ' | b'\t' | b'\r' | b'\n')) {
                self.pos += 1;
            }
            match self.peek() {
                None => {
                    return Err(self.err(
                        format!("unterminated `{}[` word list", flavor.sigil()),
                        start,
                    ))
                }
                Some(b']') => {
                    self.pos += 1;
                    break;
                }
                Some(_) => {}
            }
            let w = self.pos;
            while let Some((ch, width)) = self.decode_char() {
                if matches!(ch, ']' | ' ' | '\t' | '\r' | '\n') {
                    break;
                }
                self.pos += width;
            }
            let word = &self.src[w..self.pos];
            if let Some(why) = crate::words::refusal(flavor, word) {
                return Err(LexError {
                    message: why,
                    span: Span::new(w, self.pos),
                });
            }
            words.push((word.to_string(), Span::new(w, self.pos)));
        }
        self.push(TokenKind::Words { flavor, words }, start);
        Ok(())
    }

    fn lex_number(&mut self, start: usize) -> Result<(), LexError> {
        while matches!(self.peek(), Some(b'0'..=b'9' | b'_')) {
            self.pos += 1;
        }
        // A `.` is a decimal point only when a digit follows; otherwise it
        // is the method-call dot and belongs to the next token. This is why
        // `1.foo` sends `foo` to `1` rather than failing to lex.
        let mut is_float =
            self.peek() == Some(b'.') && matches!(self.peek_at(1), Some(b'0'..=b'9'));
        if is_float {
            self.pos += 1;
            while matches!(self.peek(), Some(b'0'..=b'9' | b'_')) {
                self.pos += 1;
            }
        }
        // An exponent — `1e300`, `2.5E-3` — makes the literal a float. Only
        // when digits follow (after an optional sign), so `e` is never taken
        // from a following name.
        let exponent_digits_at = match (self.peek(), self.peek_at(1)) {
            (Some(b'e' | b'E'), Some(b'0'..=b'9')) => Some(1),
            (Some(b'e' | b'E'), Some(b'+' | b'-'))
                if matches!(self.peek_at(2), Some(b'0'..=b'9')) =>
            {
                Some(2)
            }
            _ => None,
        };
        if let Some(skip) = exponent_digits_at {
            is_float = true;
            self.pos += skip;
            while matches!(self.peek(), Some(b'0'..=b'9' | b'_')) {
                self.pos += 1;
            }
        }
        let text: String = self.src[start..self.pos]
            .chars()
            .filter(|c| *c != '_')
            .collect();
        if is_float {
            let v: f64 = text
                .parse()
                .map_err(|_| self.err(format!("invalid float literal {text:?}"), start))?;
            self.push(TokenKind::Float(v), start);
        } else {
            let v: i64 = text
                .parse()
                .map_err(|_| self.err(format!("integer literal out of range: {text:?}"), start))?;
            self.push(TokenKind::Int(v), start);
        }
        Ok(())
    }

    fn lex_colon(&mut self, start: usize) {
        // `::` qualifies a name (`retsu::first`); `:name` is a symbol; a bare
        // `:` is punctuation. `::` is checked first, so `::first` is never a
        // colon followed by the symbol `:first`.
        if self.peek_at(1) == Some(b':') {
            self.pos += 2;
            self.push(TokenKind::PathSep, start);
        } else if matches!(self.peek_at(1), Some(c) if is_ident_start(c)) {
            self.pos += 1;
            let s = self.pos;
            while matches!(self.peek(), Some(c) if is_ident_continue(c)) {
                self.pos += 1;
            }
            // A trailing `?` or `!` is part of the name, as in an identifier,
            // so `:pair?` names `pair?` — the one way an import list
            // (`use("nisshi", [:pair?])`) can list such a definition. `!=`
            // keeps its `!`, as `lex_ident` does.
            if matches!(self.peek(), Some(b'?'))
                || (matches!(self.peek(), Some(b'!')) && !matches!(self.peek_at(1), Some(b'=')))
            {
                self.pos += 1;
            }
            let name = self.src[s..self.pos].to_string();
            self.push(TokenKind::Sym(name), start);
        } else {
            self.one(TokenKind::Colon, start);
        }
    }

    fn lex_ident(&mut self, start: usize) {
        while matches!(self.peek(), Some(c) if is_ident_continue(c)) {
            self.pos += 1;
        }

        // A TRAILING `?` or `!` is part of the name, as in Ruby.
        //
        // Without this, four builtins the runtime registers — `contains?`,
        // `starts_with?`, `ends_with?` and `to_int!` — were unreachable from
        // every blue program ever written: dead code in the runtime and a
        // silent capability gap that made `moji` reimplement three of them by
        // hand.
        //
        // The `=` guard is what keeps `!=` working. `a != b` is safe either way
        // (the `!` follows a space), but `a!=b` is not: without the lookahead
        // the `!` would be eaten into the identifier and the comparison would
        // vanish. So a trailing `!` joins the name only when what follows is
        // NOT `=`.
        if matches!(self.peek(), Some(b'?'))
            || (matches!(self.peek(), Some(b'!')) && !matches!(self.peek_at(1), Some(b'=')))
        {
            self.pos += 1;
        }
        let name = self.src[start..self.pos].to_string();

        // `foo:` is a hash label — one token, so `{foo: 1}` needs no
        // lookahead in the parser. Not folded when followed by `:`, which
        // would be `foo::bar`.
        if self.peek() == Some(b':') && self.peek_at(1) != Some(b':') {
            self.pos += 1;
            self.push(TokenKind::Label(name), start);
            return;
        }

        let kind = match name.as_str() {
            "true" => TokenKind::True,
            "false" => TokenKind::False,
            "nil" => TokenKind::Nil,
            _ => TokenKind::Ident(name),
        };
        self.push(kind, start);
    }

    fn lex_op(&mut self, start: usize) {
        while matches!(self.peek(), Some(c) if OP_CHARS.as_bytes().contains(&c)) {
            self.pos += 1;
        }
        let text = self.src[start..self.pos].to_string();
        let kind = match text.as_str() {
            "=>" => TokenKind::Rocket,
            "|>" => TokenKind::Pipe,
            _ => TokenKind::Op(text),
        };
        self.push(kind, start);
    }
}

// An identifier may be written in ANY script, not only Latin.
//
// The lexer works on bytes, and the rule that makes that safe is a property of
// UTF-8 rather than a trick: every byte of a multi-byte character is >= 0x80,
// and every character blue gives structural meaning — operators, delimiters,
// quotes, `#` — is ASCII, hence < 0x80. So "byte >= 0x80 is part of an
// identifier" consumes each multi-byte character whole, leaves every ASCII
// decision untouched, and keeps `src[start..pos]` on a char boundary.
//
// Without this the `yakugo` language packs cannot exist at all: `définir` died
// on 'Ã' and `定義` on 'å' — a UTF-8 continuation byte reported as a character,
// which is the diagnostic a byte-oriented lexer gives for text it was never
// built to read.
//
// PERMISSIVE, deliberately and worth stating: this admits any non-ASCII byte,
// so an emoji or a lone combining mark is a legal identifier. Enforcing
// XID_Start/XID_Continue would need real char decoding through the whole
// lexer. Accepting too much is a surface question; rejecting every non-Latin
// script was a correctness one.
fn skip_interpolation(bytes: &[u8], mut i: usize) -> Option<usize> {
    let mut depth = 1usize;
    loop {
        match *bytes.get(i)? {
            b'{' => depth += 1,
            b'}' => {
                depth -= 1;
                if depth == 0 {
                    return Some(i + 1);
                }
            }
            b'"' => {
                i = skip_code_string(bytes, i)?;
                continue;
            }
            _ => {}
        }
        i += 1;
    }
}

fn skip_code_string(bytes: &[u8], mut i: usize) -> Option<usize> {
    i += 1;
    loop {
        match *bytes.get(i)? {
            b'"' => return Some(i + 1),
            b'\\' => i += 2,
            b'#' if bytes.get(i + 1) == Some(&b'{') => i = skip_interpolation(bytes, i + 2)?,
            _ => i += 1,
        }
    }
}

fn is_ident_start(c: u8) -> bool {
    c.is_ascii_alphabetic() || c == b'_'
}

fn is_ident_continue(c: u8) -> bool {
    c.is_ascii_alphanumeric() || c == b'_' || c >= 0x80
}

#[cfg(test)]
mod tests {
    use super::*;

    fn kinds(src: &str) -> Vec<TokenKind> {
        lex(src)
            .expect("lex")
            .into_iter()
            .filter(|t| !t.is_trivia() && t.kind != TokenKind::Eof)
            .map(|t| t.kind)
            .collect()
    }

    #[test]
    fn a_brace_inside_a_string_inside_interpolated_code_is_text() {
        for (src, code) in [
            ("\"a#{f(\"}\")}b\"", "f(\"}\")"),
            ("\"a#{\"{\" |> \"}\"}b\"", "\"{\" |> \"}\""),
            ("\"#{ {a: \"}\"} }\"", " {a: \"}\"} "),
            ("\"#{f(\"x\\\"}\")}\"", "f(\"x\\\"}\")"),
            ("\"#{\"in#{\"}\"}ner\"}\"", "\"in#{\"}\"}ner\""),
        ] {
            match kinds(src).as_slice() {
                [TokenKind::InterpolatedStr { exprs, .. }] => assert_eq!(exprs, &[code], "{src}"),
                other => panic!("{src}: {other:?}"),
            }
        }
        assert!(lex("\"#{\"}\"").is_err());
    }

    #[test]
    fn a_leading_byte_order_mark_is_stepped_over_and_one_inside_the_text_is_refused() {
        assert_eq!(kinds("\u{feff}x"), kinds("x"));
        let at = lex("\u{feff}x").expect("lex")[0].span;
        assert_eq!(at.start, 3, "spans still index the source bytes");
        assert!(lex("x\n\u{feff}y").is_err());
        assert!(lex("\"a\u{feff}b\"").is_ok());
    }

    #[test]
    fn lexes_integers_and_floats() {
        assert_eq!(
            kinds("1 2.5 1_000"),
            vec![
                TokenKind::Int(1),
                TokenKind::Float(2.5),
                TokenKind::Int(1000),
            ]
        );
    }

    /// An exponent makes a float; `e` not followed by digits is not one.
    /// Red run: without the exponent arm `1e300` lexed as `Int(1)` then
    /// `Ident("e300")`, which is how the G5 probe failed to parse.
    #[test]
    fn lexes_float_exponents() {
        assert_eq!(
            kinds("1e300 2.5E-3 7e+2"),
            vec![
                TokenKind::Float(1e300),
                TokenKind::Float(2.5e-3),
                TokenKind::Float(700.0),
            ]
        );
        assert_eq!(
            kinds("1.e"),
            vec![
                TokenKind::Int(1),
                TokenKind::Dot,
                TokenKind::Ident("e".into())
            ]
        );
    }

    /// `1.foo` is a send, not a malformed float. The decimal point is a
    /// decimal point only when a digit follows it.
    #[test]
    fn a_dot_after_a_digit_is_a_send_unless_a_digit_follows() {
        assert_eq!(
            kinds("1.foo"),
            vec![
                TokenKind::Int(1),
                TokenKind::Dot,
                TokenKind::Ident("foo".into()),
            ]
        );
    }

    #[test]
    fn lexes_symbols_and_labels_distinctly() {
        assert_eq!(kinds(":foo"), vec![TokenKind::Sym("foo".into())]);
        assert_eq!(kinds("foo:"), vec![TokenKind::Label("foo".into())]);
    }

    #[test]
    fn ruby_predicate_and_bang_suffixes_are_part_of_the_name() {
        assert_eq!(
            kinds("empty? save!"),
            vec![
                TokenKind::Ident("empty?".into()),
                TokenKind::Ident("save!".into()),
            ]
        );
    }

    /// A name takes ONE trailing `?` or `!`, and never the `!` of `!=`.
    ///
    /// A second, unconditional suffix step used to follow the guarded one, so
    /// `x!=3` lexed as `x!` then `=`: a statement became the binding
    /// `(define x! 3)` and the comparison vanished without an error. The
    /// kiwari grammar spec, which states the identifier rule once, is what
    /// put the two steps side by side.
    #[test]
    fn a_bang_before_equals_is_the_operator_not_the_name() {
        assert_eq!(
            kinds("x!=3"),
            vec![
                TokenKind::Ident("x".into()),
                TokenKind::Op("!=".into()),
                TokenKind::Int(3),
            ]
        );
        assert_eq!(
            kinds("ok?! x"),
            vec![
                TokenKind::Ident("ok?".into()),
                TokenKind::Op("!".into()),
                TokenKind::Ident("x".into()),
            ]
        );
    }

    #[test]
    fn lexes_strings_with_escapes() {
        assert_eq!(kinds(r#""a\nb""#), vec![TokenKind::Str("a\nb".into())]);
    }

    #[test]
    fn unterminated_string_is_an_error_with_a_span() {
        let e = lex("\"oops").expect_err("must fail");
        assert!(e.message.contains("unterminated"), "{}", e.message);
        assert_eq!(e.span.start, 0);
    }

    /// Trivia is EMITTED, not skipped. A formatter and an LSP both need a
    /// lossless stream, and neither can recover what the lexer discarded.
    #[test]
    fn comments_and_newlines_are_emitted_as_trivia() {
        let toks = lex("1 # hi\n2").expect("lex");
        assert!(
            toks.iter()
                .any(|t| matches!(&t.kind, TokenKind::Comment(c) if c == "# hi")),
            "comment was dropped: {toks:?}"
        );
        assert!(
            toks.iter().any(|t| t.kind == TokenKind::Newline),
            "newline was dropped"
        );
    }

    /// Anti-vacuity for the span claim: spans must be real byte offsets
    /// into the source, not placeholders.
    #[test]
    fn spans_point_at_the_actual_bytes() {
        let src = "foo + 1";
        let toks = lex(src).expect("lex");
        let first = &toks[0];
        assert_eq!(&src[first.span.start..first.span.end], "foo");
        let last_int = toks
            .iter()
            .find(|t| matches!(t.kind, TokenKind::Int(_)))
            .expect("an int token");
        assert_eq!(&src[last_int.span.start..last_int.span.end], "1");
    }

    #[test]
    fn lexes_word_lists() {
        use crate::words::Flavor;
        let src = "%w[a --force\n  x/y] %i[pair? b]";
        let toks = lex(src).expect("lex");
        let TokenKind::Words { flavor, words } = &toks[0].kind else {
            panic!("{toks:?}");
        };
        assert_eq!(*flavor, Flavor::Strings);
        let spelled: Vec<&str> = words.iter().map(|(_, at)| &src[at.start..at.end]).collect();
        assert_eq!(spelled, ["a", "--force", "x/y"]);
        assert_eq!(
            words.iter().map(|(w, _)| w.as_str()).collect::<Vec<_>>(),
            spelled
        );
        assert_eq!(
            &src[toks[0].span.start..toks[0].span.end],
            "%w[a --force\n  x/y]"
        );
        assert!(
            matches!(&toks[1].kind, TokenKind::Words { flavor: Flavor::Keywords, words } if words.len() == 2)
        );
        assert_eq!(
            kinds("%w[]"),
            vec![TokenKind::Words {
                flavor: Flavor::Strings,
                words: vec![]
            }]
        );
    }

    #[test]
    fn a_percent_is_still_modulo_unless_w_or_i_and_a_bracket_follow() {
        assert_eq!(
            kinds("a %w(b)"),
            vec![
                TokenKind::Ident("a".into()),
                TokenKind::Op("%".into()),
                TokenKind::Ident("w".into()),
                TokenKind::LParen,
                TokenKind::Ident("b".into()),
                TokenKind::RParen,
            ]
        );
        assert_eq!(kinds("x%i")[1], TokenKind::Op("%".into()));
    }

    #[test]
    fn a_word_list_refuses_commas_quotes_colons_and_an_open_end() {
        for (src, says) in [
            ("%w[a, b]", "not commas"),
            ("%w[\"a\" b]", "without quotes"),
            ("%i[:a b]", "without its colon"),
            ("%i[a-b]", "not a name"),
            ("%w[a # b]", "cannot be part of a word"),
            ("%w[a b", "unterminated"),
            ("%w[a\u{a0}b]", "cannot be part of a word"),
        ] {
            let e = lex(src).expect_err(src);
            assert!(e.message.contains(says), "{src}: {}", e.message);
        }
    }

    #[test]
    fn lexes_pipeline_and_rocket() {
        assert_eq!(kinds("|> =>"), vec![TokenKind::Pipe, TokenKind::Rocket]);
    }
}