From 616f41d15009b1133cbdc14bace6ab84f1325921 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Mon, 12 Jan 2026 18:51:32 +1300 Subject: Removed Nametags and identifier aliasing for Variables --- test/ab.adb | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'test/ab.adb') diff --git a/test/ab.adb b/test/ab.adb index de89207..314b0dc 100644 --- a/test/ab.adb +++ b/test/ab.adb @@ -20,11 +20,12 @@ procedure AB is package InKomp is new Kompsos (Integer); use InKomp; - package InPrin is new InKomp.Pretty_Print (Integer'Image); - use InPrin; + package Printer is new InKomp.Pretty_Print (Integer'Image); + Relation : Goal := Empty_Goal; - Item : Term; + + A, B : Term; begin @@ -32,12 +33,12 @@ begin TIO.New_Line; - Item := Relation.Fresh ("a"); - Relation.Unify (Item, 7); - Item := Relation.Fresh ("b"); - Relation := Disjunct (Relation.Unify (Item, 5), Relation.Unify (Item, 6)); + A := Relation.Fresh; + Relation.Unify (A, 7); + B := Relation.Fresh; + Relation := Disjunct (Relation.Unify (B, 5), Relation.Unify (B, 6)); - TIO.Put_Line (Image (Relation)); + TIO.Put_Line (Printer.Image (Relation)); end AB; -- cgit