summaryrefslogtreecommitdiff
path: root/test/rembero.adb
diff options
context:
space:
mode:
Diffstat (limited to 'test/rembero.adb')
-rw-r--r--test/rembero.adb42
1 files changed, 42 insertions, 0 deletions
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;
+
+