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