diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 14:33:11 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 14:33:11 +1300 |
| commit | 90a7dec41ac4f68c4c9a99eb77ebf340a36e536e (patch) | |
| tree | 95d66d5dc11c76eeafb0a7cd36316f9dcb3b660b /test/pprint.adb | |
| parent | 3356c1956735504f2197b12f1b423aec50a6bd6b (diff) | |
Bugfixes in Unify and Term Image, query function for World failure
Diffstat (limited to 'test/pprint.adb')
| -rw-r--r-- | test/pprint.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/pprint.adb b/test/pprint.adb index 6d05cba..b34f255 100644 --- a/test/pprint.adb +++ b/test/pprint.adb @@ -34,6 +34,7 @@ procedure PPrint is Term_Two : constant Term := T (T (+"One") & T (+"Two") & T (+"Three")); Term_Three : constant Term := T (Term_One & Term_Two & T (+"World")); Term_Four : constant Term := T (Null_Term & Null_Term); + Term_Five : constant Term := T (T (+"Goodbye"), T (+"World")); begin @@ -45,6 +46,7 @@ begin TIO.Put_Line (Image (Term_Two)); TIO.Put_Line (Image (Term_Three)); TIO.Put_Line (Image (Term_Four)); + TIO.Put_Line (Image (Term_Five)); TIO.New_Line; |