diff options
Diffstat (limited to 'test/rembero.adb')
| -rw-r--r-- | test/rembero.adb | 42 |
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; + + |
