From 904526cd63f67652b07b06426a9b5184c1e308c6 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sun, 3 Aug 2025 13:41:11 +0100 Subject: [PATCH] fix bug in building search list from range: if first index is less than 0, then start from 0, or else start from calculation --- fcore/build-search-list.sml | 1 + 1 file changed, 1 insertion(+) diff --git a/fcore/build-search-list.sml b/fcore/build-search-list.sml index c00158e..63d5332 100644 --- a/fcore/build-search-list.sml +++ b/fcore/build-search-list.sml @@ -133,6 +133,7 @@ struct let val finishIdx = startIdx + length + String.size searchString val bufferIdx = startIdx - String.size searchString + val bufferIdx = Int.max (bufferIdx, 0) in helpFromRange (startIdx, bufferIdx, finishIdx, buffer, searchString, searchList)