| 145 | const mergedDiagnostics = (filePath: string) => |
| 146 | dedupeDiagnostics([...(pushDiagnostics.get(filePath) ?? []), ...(pullDiagnostics.get(filePath) ?? [])]) |
| 147 | const updatePushDiagnostics = (filePath: string, next: Diagnostic[]) => { |
| 148 | pushDiagnostics.set(filePath, next) |
| 149 | for (const listener of diagnosticListeners) listener({ path: filePath, serverID: input.serverID }) |
| 150 | } |
| 151 | const updatePullDiagnostics = (filePath: string, next: Diagnostic[]) => { |
| 152 | pullDiagnostics.set(filePath, next) |
| 153 | } |