(text: string)
| 81 | } |
| 82 | |
| 83 | function endPosition(text: string) { |
| 84 | const lines = text.split(/\r\n|\r|\n/) |
| 85 | return { |
| 86 | line: lines.length - 1, |
| 87 | character: lines.at(-1)?.length ?? 0, |
| 88 | } |
| 89 | } |
| 90 | |
| 91 | function dedupeDiagnostics(items: Diagnostic[]) { |
| 92 | const seen = new Set<string>() |