humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix regression introduced by previous commit (we need to be more careful when consing to 'leftStringsTl/rightStringsTl' than when consing to 'leftStrings/rightStrings', because our usage of consing the 'tl' variant in some places implies we have modified the head of that respective list

Browse Source
This commit is contained in:
Humza Shahid
2025-08-05 16:17:53 +01:00
parent a2ca88da92
commit fe8d3906de
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/line_gap.sml
View File

@@ -1347,8 +1347,8 @@ struct
* while origIdx considers index to return * while origIdx considers index to return
* once buffer is done deleting. *) * once buffer is done deleting. *)
deleteRightFromHere deleteRightFromHere
( curIdx + String.size newLeftStringsHd ( curIdx + String.size newString
, curLine + Vector.length newLeftLinesHd , curLine + Vector.length newLines
, nextIdx , nextIdx
, finish , finish
, newLeftStringsHd :: leftStringsTl , newLeftStringsHd :: leftStringsTl