diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-19 16:51:08 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-19 16:51:08 +1300 |
| commit | 39a112952e328ce52e5f7b08bf18bbadd3fca03f (patch) | |
| tree | a3ac33e45e4ca643da28930979d38454bda949ff /test/membero.adb | |
| parent | 5c077a81964096daf997949da695500c8ab4a7d3 (diff) | |
Reification, including Term flattening and Treeification
Diffstat (limited to 'test/membero.adb')
| -rw-r--r-- | test/membero.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/membero.adb b/test/membero.adb index 89e7f2e..827e6ab 100644 --- a/test/membero.adb +++ b/test/membero.adb @@ -44,8 +44,16 @@ begin Verse.Member (Verse.Fresh ("result") & Test_Item); + TIO.Put_Line ("Raw results:"); TIO.Put_Line (Printer.Image (Verse)); + TIO.New_Line; + + TIO.Put_Line ("Reified results:"); + for Subst of Verse.Take_All loop + TIO.Put_Line (Printer.Image (Resolve_First (Subst, "result"))); + end loop; + end Membero; |