From 72faae829a789664eedbda930cf815663c41c591 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sat, 15 Nov 2025 08:03:12 +1300 Subject: Prelude combined into base, lazy Conjunct kinda working but still loops in some circumstances --- test/membero.adb | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'test/membero.adb') diff --git a/test/membero.adb b/test/membero.adb index 1143df2..46127d7 100644 --- a/test/membero.adb +++ b/test/membero.adb @@ -10,7 +10,6 @@ with Ada.Strings.Unbounded, Ada.Text_IO, - Kompsos.Prelude, Kompsos.Pretty_Print; @@ -28,10 +27,9 @@ procedure Membero is package InKomp is new Kompsos (SU.Unbounded_String); use InKomp; - package Prelude is new InKomp.Prelude; package Printer is new InKomp.Pretty_Print (SU.To_String); - Verse : Prelude.World := Prelude.Empty_World; + Verse : World := Empty_World; Test_Item : constant Term := T (T (+"one") & T (+"two") & T (+"three") & T (+"four")); @@ -44,9 +42,9 @@ begin TIO.New_Line; - Verse.Member (Verse.Fresh ("result"), Test_Item); + Verse.Member (Verse.Fresh ("result") & Test_Item); - TIO.Put_Line (Printer.Image (Verse)); + TIO.Put_Line (Printer.Image (Verse.Take (5))); end Membero; -- cgit