From 4fc6e07ce04c34903d31c1a4c280931650fa82f2 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Thu, 13 Nov 2025 11:33:54 +1300 Subject: Refactor of rollover laziness --- src/kompsos.ads | 33 ++++++++++++++------------------- 1 file changed, 14 insertions(+), 19 deletions(-) (limited to 'src/kompsos.ads') diff --git a/src/kompsos.ads b/src/kompsos.ads index a8b8851..d2b6fe5 100644 --- a/src/kompsos.ads +++ b/src/kompsos.ads @@ -237,8 +237,8 @@ private (No_Gen, Fresh_Gen, Unify_Gen, - Disjunct1_Gen, - Disjunct2_Gen, + Buffer_Gen, + Disjunct_Gen, Recurse_Gen); type Generator (Kind : Generator_Kind := No_Gen) is record @@ -246,25 +246,20 @@ private when No_Gen => null; when Fresh_Gen => - FrG_World : World_Access; - FrG_Index : Positive; - FrG_Name : SU.Unbounded_String; + Frs_World : World_Access; + Frs_Name : SU.Unbounded_String; when Unify_Gen => - UniG_World : World_Access; - UniG_Index : Positive; - UniG_Term1 : Term; - UniG_Term2 : Term; - when Disjunct1_Gen => - Dis1G_World : World_Access; - Dis1G_Index : Positive; - when Disjunct2_Gen => - Dis2G_World1 : World_Access; - Dis2G_Index1 : Positive; - Dis2G_World2 : World_Access; - Dis2G_Index2 : Positive; + Uni_World : World_Access; + Uni_Term1 : Term; + Uni_Term2 : Term; + when Buffer_Gen => + Buff_World : World_Access; + when Disjunct_Gen => + Dis_World1 : World_Access; + Dis_World2 : World_Access; when Recurse_Gen => - RecG_World : World_Access; - RecG_Index : Positive; + Rec_World : World_Access; + Rec_Index : Positive; end case; end record; -- cgit