From 108e021fdbf9e82f7876f7ceb92446ef437e083d Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Wed, 8 Oct 2025 06:51:52 +0100
Subject: [PATCH] log an exception if search-thread encounters a failure

---
 fcore/search-list/search-list.sml | 2 +-
 lib/brolib-sml                    | 2 +-
 shell/search-thread.sml           | 1 +
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/fcore/search-list/search-list.sml b/fcore/search-list/search-list.sml
index 7cfc002..d9685a6 100644
--- a/fcore/search-list/search-list.sml
+++ b/fcore/search-list/search-list.sml
@@ -6,7 +6,7 @@ struct
     let
       val iterator = LineGap.moveIteratorToIdx (idx, iterator)
     in
-      if LineGap.isIteratorAtEnd iterator then
+      if idx = #textLength iterator then
         if prevFinalPos < 0 then acc
         else PersistentVector.append (startPos, prevFinalPos, acc)
       else
diff --git a/lib/brolib-sml b/lib/brolib-sml
index 1d62136..ec62efb 160000
--- a/lib/brolib-sml
+++ b/lib/brolib-sml
@@ -1 +1 @@
-Subproject commit 1d6213636e6b3cecad74fa7af19a9e0e81788aab
+Subproject commit ec62efb40c3b990500fc790b2e03e0d161fdb80f
diff --git a/shell/search-thread.sml b/shell/search-thread.sml
index e15bbd7..d28ba0b 100644
--- a/shell/search-thread.sml
+++ b/shell/search-thread.sml
@@ -7,6 +7,7 @@ struct
       val (buffer, dfa, time) = Mailbox.recv SearchMailbox.mailbox
       val iterator = LineGap.makeStringIterator buffer
       val searchList = SearchList.build (iterator, dfa)
+                       handle e => ExceptionLogger.log e
       val msg = InputMsg.WITH_SEARCH_LIST (searchList, time)
       val () = InputMailbox.append msg
     in