From 5d2a2ef737b94bf3429c8af75eec46121712d675 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Thu, 11 Sep 2025 18:01:19 +0100 Subject: [PATCH] add function to get line number of LineGap to signature, so that it is available to callers --- src/line_gap.sml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/line_gap.sml b/src/line_gap.sml index 2a20d82..8d4cbaa 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -28,6 +28,8 @@ sig val goToIdx: int * t -> t val goToLine: int * t -> t + val getLineNumberOfIdx: int * t -> int + (* for testing *) val verifyIndex: t -> unit val verifyLines: t -> unit