Skip to content

Add FILTER keyword - #31

Open
javier wants to merge 1 commit into
masterfrom
jv/filter_aggregations
Open

Add FILTER keyword#31
javier wants to merge 1 commit into
masterfrom
jv/filter_aggregations

Conversation

@javier

@javier javier commented Aug 19, 2026

Copy link
Copy Markdown
Contributor

Summary

Adds the filter keyword, used by the new FILTER (WHERE ...) clause on aggregate functions, so the web console highlights and autocompletes it.

Inserted in alphabetical position between fill and first. No new functions, constants, data types or operators are introduced by the clause, so no other grammar file changes.

Dependencies

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant