From 2f622510f4feecee552c43a31bd592d1c7f6617f Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Wed, 21 Jan 2026 15:31:35 +1300 Subject: Refactor of evaluation using custom bookkeeping datatype instead of Maps --- src/kompsos.ads | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'src/kompsos.ads') diff --git a/src/kompsos.ads b/src/kompsos.ads index 9a00251..84b3ce2 100644 --- a/src/kompsos.ads +++ b/src/kompsos.ads @@ -9,7 +9,6 @@ private with Ada.Containers.Indefinite_Holders, - Ada.Containers.Ordered_Maps, Ada.Containers.Vectors, Ada.Finalization; @@ -415,10 +414,6 @@ private - type Term_Component; - - type Term_Component_Access is access Term_Component; - subtype Not_Null_Term_Kind is Term_Kind range Atom_Term .. Pair_Term; type Term_Component (Kind : Not_Null_Term_Kind) is limited record @@ -434,6 +429,8 @@ private end case; end record; + type Term_Component_Access is access Term_Component; + type Term is new Ada.Finalization.Controlled with record Actual : Term_Component_Access := null; end record; -- cgit