summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/membero.adb6
-rw-r--r--test/rembero.adb42
2 files changed, 45 insertions, 3 deletions
diff --git a/test/membero.adb b/test/membero.adb
index bc51c33..89e7f2e 100644
--- a/test/membero.adb
+++ b/test/membero.adb
@@ -24,10 +24,10 @@ procedure Membero is
renames SU.To_Unbounded_String;
- package InKomp is new Kompsos (SU.Unbounded_String);
- use InKomp;
+ package SKomp is new Kompsos (SU.Unbounded_String);
+ use SKomp;
- package Printer is new InKomp.Pretty_Print (SU.To_String);
+ package Printer is new SKomp.Pretty_Print (SU.To_String);
Verse : World := Empty_World;
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;
+
+