3 ms·

I was also baffled. "No formal specification"? Two minutes of browsing is enough to find it: https://github.com/sqlite/sqlite/blob/master/src%2Fparse.y https://

by afc 6mo ago

I was also baffled. "No formal specification"? Two minutes of browsing is enough to find it: https://github.com/sqlite/sqlite/blob/master/src%2Fparse.y https://github.com/sqlite/sqlite/blob/master/src%2Fparse.y

lalitmaganti 6mo ago
I'm very well aware of parse.y, if you look into the syntaqlite code, you'd find it's a critical part of how the whole "source extraction" mentioned in the article works [1] To be clear when I say "formal specification", I'm not just talking about the formal grammar rules but also how those interpreted in practice. Something closer to the ECMAScript specification (https://ecma-international.org/publications-and-standards/standards/ecma-262/ https://ecma-international.org/publications-and-standards/st...). [1] https://github.com/LalitMaganti/syntaqlite/blob/93638c68f9a0a8b5f69587bcd64adef0f3e30a2c/syntaqlite-buildtools/src/parser_tools/parser_pipeline.rs#L51 https://github.com/LalitMaganti/syntaqlite/blob/93638c68f9a0...