I can think of one: deriving a type for a prepared statement. To do that you have to parse the schema to get the table types and work backward. That lets the

I can think of one: deriving a type for a prepared statement. To do that you have to parse the schema to get the table types and work backward. That lets the analyzer decide what sorts of data may be legally passed to a given prepared statement, and produce type failures at compile time. There are more, that's the first which came to mind. Disclosure: I'm writing an SQLite PEG for a number of reasons which might hypothetically include that one.