Prelude combined into base, lazy Conjunct kinda working but still loops in some circumstances

1 files changed, 3 insertions, 5 deletions

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;