From c9e156fdc3449d1cbc9dac4176cc460f6462ef18 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Wed, 12 Nov 2025 20:34:24 +1300 Subject: Prelude now derives its own World so dot notation works for those subprograms --- test/ab.adb | 4 ++-- test/fivesix.adb | 4 ++-- test/membero.adb | 4 ++-- test/pprint.adb | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) (limited to 'test') diff --git a/test/ab.adb b/test/ab.adb index 80b11c3..5df34e2 100644 --- a/test/ab.adb +++ b/test/ab.adb @@ -23,8 +23,8 @@ procedure AB is package InPrin is new InKomp.Pretty_Print (Integer'Image); use InPrin; - Verse : World := Empty_World; - Ref : Variable; + Verse : Mu_World := Empty_Mu_World; + Ref : Term; begin diff --git a/test/fivesix.adb b/test/fivesix.adb index 3eabf6a..b8046af 100644 --- a/test/fivesix.adb +++ b/test/fivesix.adb @@ -23,8 +23,8 @@ procedure FiveSix is package InPrin is new InKomp.Pretty_Print (Integer'Image); use InPrin; - Fives, Sixes : World := Empty_World; - Result : World; + Fives, Sixes : Mu_World := Empty_Mu_World; + Result : Mu_World; begin diff --git a/test/membero.adb b/test/membero.adb index 694410d..1143df2 100644 --- a/test/membero.adb +++ b/test/membero.adb @@ -31,7 +31,7 @@ procedure Membero is package Prelude is new InKomp.Prelude; package Printer is new InKomp.Pretty_Print (SU.To_String); - Verse : World := Empty_World; + Verse : Prelude.World := Prelude.Empty_World; Test_Item : constant Term := T (T (+"one") & T (+"two") & T (+"three") & T (+"four")); @@ -44,7 +44,7 @@ begin TIO.New_Line; - Prelude.Member (Verse, T (Verse.Fresh ("result")), Test_Item); + Verse.Member (Verse.Fresh ("result"), Test_Item); TIO.Put_Line (Printer.Image (Verse)); diff --git a/test/pprint.adb b/test/pprint.adb index b34f255..8bce15e 100644 --- a/test/pprint.adb +++ b/test/pprint.adb @@ -50,7 +50,7 @@ begin TIO.New_Line; - TIO.Put_Line (Image (Empty_World)); + TIO.Put_Line (Image (Empty_Mu_World)); end PPrint; -- cgit