mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-06 07:49:02 +00:00
Code Issues Projects Releases Wiki Activity

Update expected outputs for cord test cases.

Browse Source
This commit is contained in:
Zoltan Somogyi
2025-10-29 16:04:31 +11:00
parent ee1aca8331
commit b200344394
2 changed files with 42 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
tests/hard_coded/test_cord_1.exp
View File

@@ -1,16 +1,16 @@
cords:
Z = empty_cord
A = nonempty_cord(unit_node('a'))
A = nonempty_cord(list_node('a', []))
B = nonempty_cord(list_node('b', []))
AB = nonempty_cord(branch_node(unit_node('a'), list_node('b', [])))
BA = nonempty_cord(branch_node(list_node('b', []), unit_node('a')))
ABA1 = nonempty_cord(branch_node(unit_node('a'), branch_node(list_node('b', []), unit_node('a'))))
ABA2 = nonempty_cord(branch_node(branch_node(unit_node('a'), list_node('b', [])), unit_node('a')))
BAB1 = nonempty_cord(branch_node(list_node('b', []), branch_node(unit_node('a'), list_node('b', []))))
BAB2 = nonempty_cord(branch_node(branch_node(list_node('b', []), unit_node('a')), list_node('b', [])))
ABBA = nonempty_cord(branch_node(branch_node(unit_node('a'), list_node('b', [])), branch_node(list_node('b', []), unit_node('a'))))
BAAB = nonempty_cord(branch_node(branch_node(list_node('b', []), unit_node('a')), branch_node(unit_node('a'), list_node('b', []))))
AB = nonempty_cord(branch_node(list_node('a', []), list_node('b', [])))
BA = nonempty_cord(branch_node(list_node('b', []), list_node('a', [])))
ABA1 = nonempty_cord(branch_node(list_node('a', []), branch_node(list_node('b', []), list_node('a', []))))
ABA2 = nonempty_cord(branch_node(branch_node(list_node('a', []), list_node('b', [])), list_node('a', [])))
BAB1 = nonempty_cord(branch_node(list_node('b', []), branch_node(list_node('a', []), list_node('b', []))))
BAB2 = nonempty_cord(branch_node(branch_node(list_node('b', []), list_node('a', [])), list_node('b', [])))
ABBA = nonempty_cord(branch_node(branch_node(list_node('a', []), list_node('b', [])), branch_node(list_node('b', []), list_node('a', []))))
BAAB = nonempty_cord(branch_node(branch_node(list_node('b', []), list_node('a', [])), branch_node(list_node('a', []), list_node('b', []))))
construction: ok

66
tests/hard_coded/test_cord_2.exp
View File

@@ -2,115 +2,115 @@ Test list and rev_list
empty_cord
[]
[]
nonempty_cord(unit_node(1))
nonempty_cord(list_node(1, []))
[1]
[1]
nonempty_cord(list_node(2, [3, 4]))
[2, 3, 4]
[4, 3, 2]
nonempty_cord(branch_node(unit_node(1), unit_node(1)))
nonempty_cord(branch_node(list_node(1, []), list_node(1, [])))
[1, 1]
[1, 1]
nonempty_cord(branch_node(unit_node(1), list_node(2, [3, 4])))
nonempty_cord(branch_node(list_node(1, []), list_node(2, [3, 4])))
[1, 2, 3, 4]
[4, 3, 2, 1]
nonempty_cord(branch_node(unit_node(1), branch_node(unit_node(1), unit_node(1))))
nonempty_cord(branch_node(list_node(1, []), branch_node(list_node(1, []), list_node(1, []))))
[1, 1, 1]
[1, 1, 1]
nonempty_cord(branch_node(unit_node(1), branch_node(unit_node(1), list_node(2, [3, 4]))))
nonempty_cord(branch_node(list_node(1, []), branch_node(list_node(1, []), list_node(2, [3, 4]))))
[1, 1, 2, 3, 4]
[4, 3, 2, 1, 1]
nonempty_cord(branch_node(unit_node(1), branch_node(list_node(2, [3, 4]), unit_node(1))))
nonempty_cord(branch_node(list_node(1, []), branch_node(list_node(2, [3, 4]), list_node(1, []))))
[1, 2, 3, 4, 1]
[1, 4, 3, 2, 1]
nonempty_cord(branch_node(unit_node(1), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
nonempty_cord(branch_node(list_node(1, []), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
[1, 2, 3, 4, 2, 3, 4]
[4, 3, 2, 4, 3, 2, 1]
nonempty_cord(branch_node(list_node(2, [3, 4]), unit_node(1)))
nonempty_cord(branch_node(list_node(2, [3, 4]), list_node(1, [])))
[2, 3, 4, 1]
[1, 4, 3, 2]
nonempty_cord(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])))
[2, 3, 4, 2, 3, 4]
[4, 3, 2, 4, 3, 2]
nonempty_cord(branch_node(list_node(2, [3, 4]), branch_node(unit_node(1), unit_node(1))))
nonempty_cord(branch_node(list_node(2, [3, 4]), branch_node(list_node(1, []), list_node(1, []))))
[2, 3, 4, 1, 1]
[1, 1, 4, 3, 2]
nonempty_cord(branch_node(list_node(2, [3, 4]), branch_node(unit_node(1), list_node(2, [3, 4]))))
nonempty_cord(branch_node(list_node(2, [3, 4]), branch_node(list_node(1, []), list_node(2, [3, 4]))))
[2, 3, 4, 1, 2, 3, 4]
[4, 3, 2, 1, 4, 3, 2]
nonempty_cord(branch_node(list_node(2, [3, 4]), branch_node(list_node(2, [3, 4]), unit_node(1))))
nonempty_cord(branch_node(list_node(2, [3, 4]), branch_node(list_node(2, [3, 4]), list_node(1, []))))
[2, 3, 4, 2, 3, 4, 1]
[1, 4, 3, 2, 4, 3, 2]
nonempty_cord(branch_node(list_node(2, [3, 4]), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
[2, 3, 4, 2, 3, 4, 2, 3, 4]
[4, 3, 2, 4, 3, 2, 4, 3, 2]
nonempty_cord(branch_node(branch_node(unit_node(1), unit_node(1)), unit_node(1)))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(1, [])), list_node(1, [])))
[1, 1, 1]
[1, 1, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), unit_node(1)), list_node(2, [3, 4])))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(1, [])), list_node(2, [3, 4])))
[1, 1, 2, 3, 4]
[4, 3, 2, 1, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), unit_node(1)), branch_node(unit_node(1), unit_node(1))))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(1, [])), branch_node(list_node(1, []), list_node(1, []))))
[1, 1, 1, 1]
[1, 1, 1, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), unit_node(1)), branch_node(unit_node(1), list_node(2, [3, 4]))))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(1, [])), branch_node(list_node(1, []), list_node(2, [3, 4]))))
[1, 1, 1, 2, 3, 4]
[4, 3, 2, 1, 1, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), unit_node(1)), branch_node(list_node(2, [3, 4]), unit_node(1))))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(1, [])), branch_node(list_node(2, [3, 4]), list_node(1, []))))
[1, 1, 2, 3, 4, 1]
[1, 4, 3, 2, 1, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), unit_node(1)), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(1, [])), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
[1, 1, 2, 3, 4, 2, 3, 4]
[4, 3, 2, 4, 3, 2, 1, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), list_node(2, [3, 4])), unit_node(1)))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(2, [3, 4])), list_node(1, [])))
[1, 2, 3, 4, 1]
[1, 4, 3, 2, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), list_node(2, [3, 4])), list_node(2, [3, 4])))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(2, [3, 4])), list_node(2, [3, 4])))
[1, 2, 3, 4, 2, 3, 4]
[4, 3, 2, 4, 3, 2, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), list_node(2, [3, 4])), branch_node(unit_node(1), unit_node(1))))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(2, [3, 4])), branch_node(list_node(1, []), list_node(1, []))))
[1, 2, 3, 4, 1, 1]
[1, 1, 4, 3, 2, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), list_node(2, [3, 4])), branch_node(unit_node(1), list_node(2, [3, 4]))))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(2, [3, 4])), branch_node(list_node(1, []), list_node(2, [3, 4]))))
[1, 2, 3, 4, 1, 2, 3, 4]
[4, 3, 2, 1, 4, 3, 2, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), list_node(2, [3, 4])), branch_node(list_node(2, [3, 4]), unit_node(1))))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(2, [3, 4])), branch_node(list_node(2, [3, 4]), list_node(1, []))))
[1, 2, 3, 4, 2, 3, 4, 1]
[1, 4, 3, 2, 4, 3, 2, 1]
nonempty_cord(branch_node(branch_node(unit_node(1), list_node(2, [3, 4])), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
nonempty_cord(branch_node(branch_node(list_node(1, []), list_node(2, [3, 4])), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
[1, 2, 3, 4, 2, 3, 4, 2, 3, 4]
[4, 3, 2, 4, 3, 2, 4, 3, 2, 1]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), unit_node(1)), unit_node(1)))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(1, [])), list_node(1, [])))
[2, 3, 4, 1, 1]
[1, 1, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), unit_node(1)), list_node(2, [3, 4])))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(1, [])), list_node(2, [3, 4])))
[2, 3, 4, 1, 2, 3, 4]
[4, 3, 2, 1, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), unit_node(1)), branch_node(unit_node(1), unit_node(1))))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(1, [])), branch_node(list_node(1, []), list_node(1, []))))
[2, 3, 4, 1, 1, 1]
[1, 1, 1, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), unit_node(1)), branch_node(unit_node(1), list_node(2, [3, 4]))))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(1, [])), branch_node(list_node(1, []), list_node(2, [3, 4]))))
[2, 3, 4, 1, 1, 2, 3, 4]
[4, 3, 2, 1, 1, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), unit_node(1)), branch_node(list_node(2, [3, 4]), unit_node(1))))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(1, [])), branch_node(list_node(2, [3, 4]), list_node(1, []))))
[2, 3, 4, 1, 2, 3, 4, 1]
[1, 4, 3, 2, 1, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), unit_node(1)), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(1, [])), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))
[2, 3, 4, 1, 2, 3, 4, 2, 3, 4]
[4, 3, 2, 4, 3, 2, 1, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), unit_node(1)))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), list_node(1, [])))
[2, 3, 4, 2, 3, 4, 1]
[1, 4, 3, 2, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), list_node(2, [3, 4])))
[2, 3, 4, 2, 3, 4, 2, 3, 4]
[4, 3, 2, 4, 3, 2, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), branch_node(unit_node(1), unit_node(1))))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), branch_node(list_node(1, []), list_node(1, []))))
[2, 3, 4, 2, 3, 4, 1, 1]
[1, 1, 4, 3, 2, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), branch_node(unit_node(1), list_node(2, [3, 4]))))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), branch_node(list_node(1, []), list_node(2, [3, 4]))))
[2, 3, 4, 2, 3, 4, 1, 2, 3, 4]
[4, 3, 2, 1, 4, 3, 2, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), branch_node(list_node(2, [3, 4]), unit_node(1))))
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), branch_node(list_node(2, [3, 4]), list_node(1, []))))
[2, 3, 4, 2, 3, 4, 2, 3, 4, 1]
[1, 4, 3, 2, 4, 3, 2, 4, 3, 2]
nonempty_cord(branch_node(branch_node(list_node(2, [3, 4]), list_node(2, [3, 4])), branch_node(list_node(2, [3, 4]), list_node(2, [3, 4]))))