From fc4bc559d3f1ebf056c4afb8280a1ec8f4d90bc2 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Mon, 17 Nov 2025 15:35:49 +1300 Subject: Lazy Conjunct should properly work for infinite results now --- test/rembero.adb | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 test/rembero.adb (limited to 'test/rembero.adb') diff --git a/test/rembero.adb b/test/rembero.adb new file mode 100644 index 0000000..e2f9a87 --- /dev/null +++ b/test/rembero.adb @@ -0,0 +1,42 @@ + + +-- Programmed by Jedidiah Barber +-- Licensed under the Sunset License v1.0 + +-- See license.txt for further details + + +with + + Ada.Text_IO, + Kompsos.Pretty_Print; + + +procedure Rembero is + + package TIO renames Ada.Text_IO; + + + package InKomp is new Kompsos (Integer); + use InKomp; + + package Printer is new InKomp.Pretty_Print (Integer'Image); + + Verse : World := Empty_World; + +begin + + TIO.Put_Line ("Test program to check if calculating an infinite number of results works."); + TIO.New_Line; + TIO.Put_Line ("It will call rembero with variables as all arguments."); + TIO.Put_Line ("The first 10 results will be displayed."); + + TIO.New_Line; + + Verse.Remove (Verse.Fresh ("item") & Verse.Fresh ("list") & Verse.Fresh ("out")); + + TIO.Put_Line (Printer.Image (Verse.Take (10))); + +end Rembero; + + -- cgit