diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-18 16:57:17 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-18 16:57:17 +1300 |
| commit | 5c077a81964096daf997949da695500c8ab4a7d3 (patch) | |
| tree | 1c86b2be3379d34bbeccc74cddd94f7c6f7281c4 /src/kompsos.ads | |
| parent | fc4bc559d3f1ebf056c4afb8280a1ec8f4d90bc2 (diff) | |
Removed Buffer variant Generator
Diffstat (limited to 'src/kompsos.ads')
| -rw-r--r-- | src/kompsos.ads | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/kompsos.ads b/src/kompsos.ads index 7b79d60..89ea88b 100644 --- a/src/kompsos.ads +++ b/src/kompsos.ads @@ -525,15 +525,6 @@ private return World_Holders.Holder with Inline; - function Ptr - (This : in out World_Holders.Holder) - return World_Access - with Inline; - - procedure Swap - (Left, Right : in out World_Holders.Holder) - with Inline; - type Lazy_Kind is (Zero_Arg, One_Arg, Many_Arg); type Lazy_Data (Kind : Lazy_Kind) is record @@ -555,7 +546,6 @@ private (No_Gen, Fresh_Gen, Unify_Gen, - Buffer_Gen, Disjunct_Gen, Conjunct_Gen, Recurse_Gen); @@ -572,8 +562,6 @@ private Uni_World : World_Holders.Holder; Uni_Term1 : Term; Uni_Term2 : Term; - when Buffer_Gen => - Buff_World : World_Holders.Holder; when Disjunct_Gen => Dis_World1 : World_Holders.Holder; Dis_World2 : World_Holders.Holder; |