change type of SEARCH message to take a DFA, instead of a searchString

2025-10-08 05:54:19 +01:00
parent 06106f5de8
commit 5c8e74ac11
5 changed files with 22 additions and 27 deletions
--- a/message-types/search-msg.sml
+++ b/message-types/search-msg.sml
@@ -1 +1,2 @@
-structure SearchMsg = struct type t = LineGap.t * string * Time.time end
+structure SearchMsg =
+struct type t = LineGap.t * int vector vector * Time.time end