From f4422cc36ca0b8a64fa50945d66620cfb49d744a Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Mon, 29 Sep 2025 21:56:39 +0100
Subject: [PATCH] add function to line_gap.sml to retrieve a single specific
 char

---
 src/line_gap.sml | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/src/line_gap.sml b/src/line_gap.sml
index f323960..4432edd 100644
--- a/src/line_gap.sml
+++ b/src/line_gap.sml
@@ -17,6 +17,7 @@ sig
   val fromString: string -> t
   val toString: t -> string
 
+  val sub: int * t -> char
   val substring: int * int * t -> string
   val nullSubstring: int * int * t -> string
   val substringWithEnd: int * int * t * string -> string
@@ -2261,6 +2262,41 @@ struct
         buffer
   end
 
+  fun subRight (findIdx, curIdx, tl) =
+    if findIdx > curIdx then
+      case tl of
+        hd :: tl =>
+          if findIdx > curIdx + String.size hd then
+            subRight (findIdx, curIdx + String.size hd, tl)
+          else
+            let val strIdx = findIdx - curIdx
+            in String.sub (hd, strIdx)
+            end
+      | [] => raise Fail "not found"
+    else
+      raise Fail "not found"
+
+  fun subLeft (findIdx, curIdx, tl) =
+    if findIdx < curIdx then
+      case tl of
+        hd :: tl =>
+          if findIdx < curIdx - String.size hd then
+            subLeft (findIdx, curIdx - String.size hd, tl)
+          else
+            let
+              val prevIdx = curIdx - String.size hd
+              val strIdx = findIdx - prevIdx
+            in
+              String.sub (hd, strIdx)
+            end
+      | [] => raise Fail "not found"
+    else
+      raise Fail "not found"
+
+  fun sub (findIdx, buffer: t) =
+    if findIdx < #idx buffer then 0
+    else subRight (findIdx, #idx buffer, #rightStrings buffer)
+
   local
     fun consIfNotEmpty (s, acc) =
       if String.size s > 0 then s :: acc else acc