From 7b201fc0587e8012189f7b1f245734e117e4975c Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sat, 24 Jan 2026 01:11:17 +1300
Subject: Unrolled linked lists for State

---
 src/kompsos-pretty_print.adb | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/kompsos-pretty_print.adb')

diff --git a/src/kompsos-pretty_print.adb b/src/kompsos-pretty_print.adb
index 216ceec..2befe6d 100644
--- a/src/kompsos-pretty_print.adb
+++ b/src/kompsos-pretty_print.adb
@@ -119,9 +119,11 @@ package body Kompsos.Pretty_Print is
                 Marker : State_Component_Access := Item.Ctrl.Actual;
             begin
                 while Marker /= null loop
-                    SU.Append (Result, Latin.HT &
-                        Image (Marker.Key) & " => " &
-                        Image (Marker.Value) & Latin.LF);
+                    for Index in Valid_Count range Valid_Count'First .. Marker.Valid loop
+                        SU.Append (Result, Latin.HT &
+                            Image (Marker.Data (Index).Key) & " => " &
+                            Image (Marker.Data (Index).Value) & Latin.LF);
+                    end loop;
                     Marker := Marker.Next.Ctrl.Actual;
                 end loop;
             end;
-- 
cgit