Dollar-quoted strings in PostgreSQL (e.g. $$text$$ or $tag$text$tag$ ) are not correctly detected when…
Dollar-quoted strings in PostgreSQL (e.g. $$text$$ or $tag$text$tag$ ) are not correctly detected when…: a task in repo2rlenv-swe-gen (Harbor dataset). According to PostgreSQL docs, only keywords and identifiers need to be separated from dollar-quoted strings by whitespace — operators do not…
The task
According to PostgreSQL docs, only keywords and identifiers need to be separated from dollar-quoted strings by whitespace — operators do not require this separation. So `UPDATE SET foo =$$bar;SELECT bar$$` should be treated as a single statement, not split at the semicolon inside the dollar-quoted string.
Part of FineEnvs/repo2rlenv-swe-gen.