HF RL Explorer

The group tzcasts() function in sqlparse is too eagerly including closing parentheses when grouping timezone…

The group tzcasts() function in sqlparse is too eagerly including closing parentheses when grouping timezone…: a task in repo2rlenv-swe-gen (Harbor dataset). Specifically, when formatting a SQL query like: sql SELECT extract(HOUR from from unixtime(hour ts) AT TIME ZONE 'America/Los Angeles') from…

The task

Specifically, when formatting a SQL query like: ```sql SELECT extract(HOUR from from_unixtime(hour_ts) AT TIME ZONE 'America/Los_Angeles') from table ```

Part of FineEnvs/repo2rlenv-swe-gen.