diff options
| author | Wen Sun <[email protected]> | 2025-07-22 06:24:02 +0900 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-07-21 21:24:02 +0000 |
| commit | b4d00ab4fb338631de039dc445936f7af2c5b79e (patch) | |
| tree | 8f54586974f51418d28240791479523cf60901f3 /packages/core/src/tools/edit.ts | |
| parent | 1969d805f2fd559e2227a8822de5be66d3d8a184 (diff) | |
feat(edit): Prevent no-op edits (#3520)
Diffstat (limited to 'packages/core/src/tools/edit.ts')
| -rw-r--r-- | packages/core/src/tools/edit.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/packages/core/src/tools/edit.ts b/packages/core/src/tools/edit.ts index ccba3d72..87a2ea44 100644 --- a/packages/core/src/tools/edit.ts +++ b/packages/core/src/tools/edit.ts @@ -246,6 +246,11 @@ Expectation for required parameters: display: `Failed to edit, expected ${expectedReplacements} ${occurenceTerm} but found ${occurrences}.`, raw: `Failed to edit, Expected ${expectedReplacements} ${occurenceTerm} but found ${occurrences} for old_string in file: ${params.file_path}`, }; + } else if (finalOldString === finalNewString) { + error = { + display: `No changes to apply. The old_string and new_string are identical.`, + raw: `No changes to apply. The old_string and new_string are identical in file: ${params.file_path}`, + }; } } else { // Should not happen if fileExists and no exception was thrown, but defensively: |