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…