From 39fa6c2be9299da5b8d2cceda264c3ad05e7e9c4 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Thu, 5 Sep 2024 18:22:56 +0300 Subject: [PATCH] dunify in stdlib/regression Signed-off-by: Kakadu --- stdlib/regression/Makefile | 14 -- stdlib/regression/dune | 69 +++++++ stdlib/regression/gen.ml | 50 +++++ stdlib/regression/orig/test01.log | 309 ----------------------------- stdlib/regression/orig/test02.log | 1 - stdlib/regression/orig/test03.log | 18 -- stdlib/regression/orig/test04.log | 305 ----------------------------- stdlib/regression/orig/test05.log | 9 - stdlib/regression/orig/test06.log | 7 - stdlib/regression/orig/test07.log | 6 - stdlib/regression/orig/test08.log | 3 - stdlib/regression/orig/test09.log | 5 - stdlib/regression/orig/test10.log | 2 - stdlib/regression/orig/test11.log | 6 - stdlib/regression/orig/test12.log | 1 - stdlib/regression/orig/test13.log | 3 - stdlib/regression/orig/test14.log | 3 - stdlib/regression/orig/test15.log | 4 - stdlib/regression/orig/test16.log | 6 - stdlib/regression/orig/test17.log | 12 -- stdlib/regression/orig/test18.log | 32 --- stdlib/regression/orig/test20.log | 12 -- stdlib/regression/orig/test21.log | 9 - stdlib/regression/orig/test22.log | 4 - stdlib/regression/orig/test23.log | 3 - stdlib/regression/orig/test24.log | 3 - stdlib/regression/orig/test25.log | 5 - stdlib/regression/orig/test26.log | 2 - stdlib/regression/orig/test27.log | 1 - stdlib/regression/orig/test28.log | 4 - stdlib/regression/orig/test29.log | 4 - stdlib/regression/orig/test30.log | 200 ------------------- stdlib/regression/orig/test32.log | 2 - stdlib/regression/orig/test33.log | 2 - stdlib/regression/orig/test34.log | 2 - stdlib/regression/test01.t | 314 ++++++++++++++++++++++++++++++ stdlib/regression/test02.t | 6 + stdlib/regression/test03.t | 23 +++ stdlib/regression/test04.t | 310 +++++++++++++++++++++++++++++ stdlib/regression/test05.t | 14 ++ stdlib/regression/test06.t | 12 ++ stdlib/regression/test07.t | 11 ++ stdlib/regression/test08.t | 8 + stdlib/regression/test09.t | 10 + stdlib/regression/test10.t | 7 + stdlib/regression/test11.t | 11 ++ stdlib/regression/test12.t | 6 + stdlib/regression/test13.t | 8 + stdlib/regression/test14.t | 8 + stdlib/regression/test15.t | 9 + stdlib/regression/test16.t | 11 ++ stdlib/regression/test17.t | 17 ++ stdlib/regression/test18.t | 37 ++++ stdlib/regression/test20.t | 17 ++ stdlib/regression/test21.t | 14 ++ stdlib/regression/test22.t | 9 + stdlib/regression/test23.t | 8 + stdlib/regression/test24.t | 8 + stdlib/regression/test25.t | 10 + stdlib/regression/test26.t | 7 + stdlib/regression/test27.t | 6 + stdlib/regression/test28.t | 9 + stdlib/regression/test29.t | 9 + stdlib/regression/test32.t | 7 + stdlib/regression/test33.t | 7 + stdlib/regression/test34.t | 7 + 66 files changed, 1059 insertions(+), 999 deletions(-) delete mode 100644 stdlib/regression/Makefile create mode 100644 stdlib/regression/dune create mode 100644 stdlib/regression/gen.ml delete mode 100644 stdlib/regression/orig/test01.log delete mode 100644 stdlib/regression/orig/test02.log delete mode 100644 stdlib/regression/orig/test03.log delete mode 100644 stdlib/regression/orig/test04.log delete mode 100644 stdlib/regression/orig/test05.log delete mode 100644 stdlib/regression/orig/test06.log delete mode 100644 stdlib/regression/orig/test07.log delete mode 100644 stdlib/regression/orig/test08.log delete mode 100644 stdlib/regression/orig/test09.log delete mode 100644 stdlib/regression/orig/test10.log delete mode 100644 stdlib/regression/orig/test11.log delete mode 100644 stdlib/regression/orig/test12.log delete mode 100644 stdlib/regression/orig/test13.log delete mode 100644 stdlib/regression/orig/test14.log delete mode 100644 stdlib/regression/orig/test15.log delete mode 100644 stdlib/regression/orig/test16.log delete mode 100644 stdlib/regression/orig/test17.log delete mode 100644 stdlib/regression/orig/test18.log delete mode 100644 stdlib/regression/orig/test20.log delete mode 100644 stdlib/regression/orig/test21.log delete mode 100644 stdlib/regression/orig/test22.log delete mode 100644 stdlib/regression/orig/test23.log delete mode 100644 stdlib/regression/orig/test24.log delete mode 100644 stdlib/regression/orig/test25.log delete mode 100644 stdlib/regression/orig/test26.log delete mode 100644 stdlib/regression/orig/test27.log delete mode 100644 stdlib/regression/orig/test28.log delete mode 100644 stdlib/regression/orig/test29.log delete mode 100644 stdlib/regression/orig/test30.log delete mode 100644 stdlib/regression/orig/test32.log delete mode 100644 stdlib/regression/orig/test33.log delete mode 100644 stdlib/regression/orig/test34.log create mode 100644 stdlib/regression/test01.t create mode 100644 stdlib/regression/test02.t create mode 100644 stdlib/regression/test03.t create mode 100644 stdlib/regression/test04.t create mode 100644 stdlib/regression/test05.t create mode 100644 stdlib/regression/test06.t create mode 100644 stdlib/regression/test07.t create mode 100644 stdlib/regression/test08.t create mode 100644 stdlib/regression/test09.t create mode 100644 stdlib/regression/test10.t create mode 100644 stdlib/regression/test11.t create mode 100644 stdlib/regression/test12.t create mode 100644 stdlib/regression/test13.t create mode 100644 stdlib/regression/test14.t create mode 100644 stdlib/regression/test15.t create mode 100644 stdlib/regression/test16.t create mode 100644 stdlib/regression/test17.t create mode 100644 stdlib/regression/test18.t create mode 100644 stdlib/regression/test20.t create mode 100644 stdlib/regression/test21.t create mode 100644 stdlib/regression/test22.t create mode 100644 stdlib/regression/test23.t create mode 100644 stdlib/regression/test24.t create mode 100644 stdlib/regression/test25.t create mode 100644 stdlib/regression/test26.t create mode 100644 stdlib/regression/test27.t create mode 100644 stdlib/regression/test28.t create mode 100644 stdlib/regression/test29.t create mode 100644 stdlib/regression/test32.t create mode 100644 stdlib/regression/test33.t create mode 100644 stdlib/regression/test34.t diff --git a/stdlib/regression/Makefile b/stdlib/regression/Makefile deleted file mode 100644 index c6748f129..000000000 --- a/stdlib/regression/Makefile +++ /dev/null @@ -1,14 +0,0 @@ -TESTS=$(sort $(filter-out test30, $(basename $(wildcard test*.lama)))) - -LAMAC=../../src/lamac - -.PHONY: check $(TESTS) - -check: $(TESTS) - -$(TESTS): %: %.lama - @echo "stdlib/regression/$@" - @LAMA=../../runtime $(LAMAC) -I .. -ds -dp $< && ./$@ > $@.log && diff $@.log orig/$@.log - -clean: - $(RM) test*.log *.s *~ $(TESTS) *.i diff --git a/stdlib/regression/dune b/stdlib/regression/dune new file mode 100644 index 000000000..cf12a75a0 --- /dev/null +++ b/stdlib/regression/dune @@ -0,0 +1,69 @@ +; This file was autogenerated + +(cram (deps ../../src/Driver.exe)) +(cram (deps ../../runtime32/runtime.a ../../runtime32/Std.i)) +(cram (deps ../../runtime/runtime.a ../../runtime/Std.i)) +(cram (deps ../x32/Array.i ../x32/Array.o ../x32/Buffer.i ../x32/Buffer.o ../x32/Collection.i ../x32/Collection.o ../x32/Data.i ../x32/Data.o ../x32/Fun.i ../x32/Fun.o ../x32/Lazy.i ../x32/Lazy.o ../x32/List.i ../x32/List.o ../x32/Matcher.i ../x32/Matcher.o ../x32/Ostap.i ../x32/Ostap.o ../x32/Random.i ../x32/Random.o ../x32/Ref.i ../x32/Ref.o ../x32/STM.i ../x32/STM.o ../x32/Timer.i ../x32/Timer.o)) +(cram (deps ../x64/Array.i ../x64/Array.o ../x64/Buffer.i ../x64/Buffer.o ../x64/Collection.i ../x64/Collection.o ../x64/Data.i ../x64/Data.o ../x64/Fun.i ../x64/Fun.o ../x64/Lazy.i ../x64/Lazy.o ../x64/List.i ../x64/List.o ../x64/Matcher.i ../x64/Matcher.o ../x64/Ostap.i ../x64/Ostap.o ../x64/Random.i ../x64/Random.o ../x64/Ref.i ../x64/Ref.o ../x64/STM.i ../x64/STM.o ../x64/Timer.i ../x64/Timer.o)) +(cram (applies_to test01) + (deps test01.lama)) +(cram (applies_to test02) + (deps test02.lama)) +(cram (applies_to test03) + (deps test03.lama)) +(cram (applies_to test04) + (deps test04.lama)) +(cram (applies_to test05) + (deps test05.lama)) +(cram (applies_to test06) + (deps test06.lama)) +(cram (applies_to test07) + (deps test07.lama)) +(cram (applies_to test08) + (deps test08.lama)) +(cram (applies_to test09) + (deps test09.lama)) +(cram (applies_to test10) + (deps test10.lama)) +(cram (applies_to test11) + (deps test11.lama)) +(cram (applies_to test12) + (deps test12.lama)) +(cram (applies_to test13) + (deps test13.lama)) +(cram (applies_to test14) + (deps test14.lama)) +(cram (applies_to test15) + (deps test15.lama)) +(cram (applies_to test16) + (deps test16.lama)) +(cram (applies_to test17) + (deps test17.lama)) +(cram (applies_to test18) + (deps test18.lama)) +(cram (applies_to test20) + (deps test20.lama)) +(cram (applies_to test21) + (deps test21.lama)) +(cram (applies_to test22) + (deps test22.lama)) +(cram (applies_to test23) + (deps test23.lama)) +(cram (applies_to test24) + (deps test24.lama)) +(cram (applies_to test25) + (deps test25.lama)) +(cram (applies_to test26) + (deps test26.lama)) +(cram (applies_to test27) + (deps test27.lama)) +(cram (applies_to test28) + (deps test28.lama)) +(cram (applies_to test29) + (deps test29.lama)) +(cram (applies_to test32) + (deps test32.lama)) +(cram (applies_to test33) + (deps test33.lama)) +(cram (applies_to test34) + (deps test34.lama)) diff --git a/stdlib/regression/gen.ml b/stdlib/regression/gen.ml new file mode 100644 index 000000000..dac68b071 --- /dev/null +++ b/stdlib/regression/gen.ml @@ -0,0 +1,50 @@ +(* Run as `ocaml gen.ml` *) + +let count = 35 +let stdlib = ["Array"; "Buffer"; "Collection"; "Data"; "Fun"; "Lazy"; "List"; "Matcher"; "Ostap"; "Random"; "Ref"; "STM"; "Timer" ] +let sprintf = Printf.sprintf + +let () = + Out_channel.with_open_text "dune" (fun dunech -> + let dprintfn fmt = Format.kasprintf (Printf.fprintf dunech "%s\n") fmt in + dprintfn "; This file was autogenerated\n"; + dprintfn "(cram (deps ../../src/Driver.exe))"; + dprintfn "(cram (deps ../../runtime32/runtime.a ../../runtime32/Std.i))"; + dprintfn "(cram (deps ../../runtime/runtime.a ../../runtime/Std.i))"; + dprintfn "(cram (deps %s))" + (String.concat " " (List.concat_map (fun s -> + [sprintf "../x32/%s.i" s + ;sprintf "../x32/%s.o" s + ]) + stdlib)); + dprintfn "(cram (deps %s))" + (String.concat " " (List.concat_map (fun s -> + [sprintf "../x64/%s.i" s + ;sprintf "../x64/%s.o" s + ]) + stdlib)); + + for i = 0 to count - 1 do + let cram_buf = Buffer.create 100 in + let cram_printfn fmt = + Format.kasprintf (Printf.bprintf cram_buf "%s\n") fmt + in + let cram_file = ref (Printf.sprintf "test%02d.t" i) in + let lama_file = ref (Printf.sprintf "test%02d.lama" i) in + + let found = + if Sys.file_exists !lama_file && i <> 30 then ( + (* cram_printfn " $ ls ../x64"; *) + cram_printfn + " $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test%02d.lama -o test" i; + cram_printfn " $ ./test"; + true) + else false + in + if found then ( + dprintfn "(cram (applies_to test%02d)" i; + dprintfn " (deps %s))" !lama_file; + Out_channel.with_open_text !cram_file (fun ch -> + output_string ch "This file was autogenerated.\n"; + output_string ch (Buffer.contents cram_buf))) + done) diff --git a/stdlib/regression/orig/test01.log b/stdlib/regression/orig/test01.log deleted file mode 100644 index 018d8559a..000000000 --- a/stdlib/regression/orig/test01.log +++ /dev/null @@ -1,309 +0,0 @@ -Set internal structure: MNode (63, 1, 0, MNode (31, 1, 0, MNode (15, 1, 0, MNode (7, 1, 0, MNode (3, 1, 0, MNode (1, 1, 0, MNode (0, 1, 0, 0, 0), MNode (2, 1, 0, 0, 0)), MNode (5, 1, 0, MNode (4, 1, 0, 0, 0), MNode (6, 1, 0, 0, 0))), MNode (11, 1, 0, MNode (9, 1, 0, MNode (8, 1, 0, 0, 0), MNode (10, 1, 0, 0, 0)), MNode (13, 1, 0, MNode (12, 1, 0, 0, 0), MNode (14, 1, 0, 0, 0)))), MNode (23, 1, 0, MNode (19, 1, 0, MNode (17, 1, 0, MNode (16, 1, 0, 0, 0), MNode (18, 1, 0, 0, 0)), MNode (21, 1, 0, MNode (20, 1, 0, 0, 0), MNode (22, 1, 0, 0, 0))), MNode (27, 1, 0, MNode (25, 1, 0, MNode (24, 1, 0, 0, 0), MNode (26, 1, 0, 0, 0)), MNode (29, 1, 0, MNode (28, 1, 0, 0, 0), MNode (30, 1, 0, 0, 0))))), MNode (47, 1, 0, MNode (39, 1, 0, MNode (35, 1, 0, MNode (33, 1, 0, MNode (32, 1, 0, 0, 0), MNode (34, 1, 0, 0, 0)), MNode (37, 1, 0, MNode (36, 1, 0, 0, 0), MNode (38, 1, 0, 0, 0))), MNode (43, 1, 0, MNode (41, 1, 0, MNode (40, 1, 0, 0, 0), MNode (42, 1, 0, 0, 0)), MNode (45, 1, 0, MNode (44, 1, 0, 0, 0), MNode (46, 1, 0, 0, 0)))), MNode (55, 1, 0, MNode (51, 1, 0, MNode (49, 1, 0, MNode (48, 1, 0, 0, 0), MNode (50, 1, 0, 0, 0)), MNode (53, 1, 0, MNode (52, 1, 0, 0, 0), MNode (54, 1, 0, 0, 0))), MNode (59, 1, 0, MNode (57, 1, 0, MNode (56, 1, 0, 0, 0), MNode (58, 1, 0, 0, 0)), MNode (61, 1, 0, MNode (60, 1, 0, 0, 0), MNode (62, 1, 0, 0, 0)))))), MNode (79, 1, -1, MNode (71, 1, 0, MNode (67, 1, 0, MNode (65, 1, 0, MNode (64, 1, 0, 0, 0), MNode (66, 1, 0, 0, 0)), MNode (69, 1, 0, MNode (68, 1, 0, 0, 0), MNode (70, 1, 0, 0, 0))), MNode (75, 1, 0, MNode (73, 1, 0, MNode (72, 1, 0, 0, 0), MNode (74, 1, 0, 0, 0)), MNode (77, 1, 0, MNode (76, 1, 0, 0, 0), MNode (78, 1, 0, 0, 0)))), MNode (87, 1, -1, MNode (83, 1, 0, MNode (81, 1, 0, MNode (80, 1, 0, 0, 0), MNode (82, 1, 0, 0, 0)), MNode (85, 1, 0, MNode (84, 1, 0, 0, 0), MNode (86, 1, 0, 0, 0))), MNode (95, 1, 0, MNode (91, 1, 0, MNode (89, 1, 0, MNode (88, 1, 0, 0, 0), MNode (90, 1, 0, 0, 0)), MNode (93, 1, 0, MNode (92, 1, 0, 0, 0), MNode (94, 1, 0, 0, 0))), MNode (97, 1, -1, MNode (96, 1, 0, 0, 0), MNode (98, 1, -1, 0, MNode (99, 1, 0, 0, 0))))))) -Set elements: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99} -Testing 0 => 1 -Testing 100 => 0 -Testing 1 => 1 -Testing 101 => 0 -Testing 2 => 1 -Testing 102 => 0 -Testing 3 => 1 -Testing 103 => 0 -Testing 4 => 1 -Testing 104 => 0 -Testing 5 => 1 -Testing 105 => 0 -Testing 6 => 1 -Testing 106 => 0 -Testing 7 => 1 -Testing 107 => 0 -Testing 8 => 1 -Testing 108 => 0 -Testing 9 => 1 -Testing 109 => 0 -Testing 10 => 1 -Testing 110 => 0 -Testing 11 => 1 -Testing 111 => 0 -Testing 12 => 1 -Testing 112 => 0 -Testing 13 => 1 -Testing 113 => 0 -Testing 14 => 1 -Testing 114 => 0 -Testing 15 => 1 -Testing 115 => 0 -Testing 16 => 1 -Testing 116 => 0 -Testing 17 => 1 -Testing 117 => 0 -Testing 18 => 1 -Testing 118 => 0 -Testing 19 => 1 -Testing 119 => 0 -Testing 20 => 1 -Testing 120 => 0 -Testing 21 => 1 -Testing 121 => 0 -Testing 22 => 1 -Testing 122 => 0 -Testing 23 => 1 -Testing 123 => 0 -Testing 24 => 1 -Testing 124 => 0 -Testing 25 => 1 -Testing 125 => 0 -Testing 26 => 1 -Testing 126 => 0 -Testing 27 => 1 -Testing 127 => 0 -Testing 28 => 1 -Testing 128 => 0 -Testing 29 => 1 -Testing 129 => 0 -Testing 30 => 1 -Testing 130 => 0 -Testing 31 => 1 -Testing 131 => 0 -Testing 32 => 1 -Testing 132 => 0 -Testing 33 => 1 -Testing 133 => 0 -Testing 34 => 1 -Testing 134 => 0 -Testing 35 => 1 -Testing 135 => 0 -Testing 36 => 1 -Testing 136 => 0 -Testing 37 => 1 -Testing 137 => 0 -Testing 38 => 1 -Testing 138 => 0 -Testing 39 => 1 -Testing 139 => 0 -Testing 40 => 1 -Testing 140 => 0 -Testing 41 => 1 -Testing 141 => 0 -Testing 42 => 1 -Testing 142 => 0 -Testing 43 => 1 -Testing 143 => 0 -Testing 44 => 1 -Testing 144 => 0 -Testing 45 => 1 -Testing 145 => 0 -Testing 46 => 1 -Testing 146 => 0 -Testing 47 => 1 -Testing 147 => 0 -Testing 48 => 1 -Testing 148 => 0 -Testing 49 => 1 -Testing 149 => 0 -Testing 50 => 1 -Testing 150 => 0 -Testing 51 => 1 -Testing 151 => 0 -Testing 52 => 1 -Testing 152 => 0 -Testing 53 => 1 -Testing 153 => 0 -Testing 54 => 1 -Testing 154 => 0 -Testing 55 => 1 -Testing 155 => 0 -Testing 56 => 1 -Testing 156 => 0 -Testing 57 => 1 -Testing 157 => 0 -Testing 58 => 1 -Testing 158 => 0 -Testing 59 => 1 -Testing 159 => 0 -Testing 60 => 1 -Testing 160 => 0 -Testing 61 => 1 -Testing 161 => 0 -Testing 62 => 1 -Testing 162 => 0 -Testing 63 => 1 -Testing 163 => 0 -Testing 64 => 1 -Testing 164 => 0 -Testing 65 => 1 -Testing 165 => 0 -Testing 66 => 1 -Testing 166 => 0 -Testing 67 => 1 -Testing 167 => 0 -Testing 68 => 1 -Testing 168 => 0 -Testing 69 => 1 -Testing 169 => 0 -Testing 70 => 1 -Testing 170 => 0 -Testing 71 => 1 -Testing 171 => 0 -Testing 72 => 1 -Testing 172 => 0 -Testing 73 => 1 -Testing 173 => 0 -Testing 74 => 1 -Testing 174 => 0 -Testing 75 => 1 -Testing 175 => 0 -Testing 76 => 1 -Testing 176 => 0 -Testing 77 => 1 -Testing 177 => 0 -Testing 78 => 1 -Testing 178 => 0 -Testing 79 => 1 -Testing 179 => 0 -Testing 80 => 1 -Testing 180 => 0 -Testing 81 => 1 -Testing 181 => 0 -Testing 82 => 1 -Testing 182 => 0 -Testing 83 => 1 -Testing 183 => 0 -Testing 84 => 1 -Testing 184 => 0 -Testing 85 => 1 -Testing 185 => 0 -Testing 86 => 1 -Testing 186 => 0 -Testing 87 => 1 -Testing 187 => 0 -Testing 88 => 1 -Testing 188 => 0 -Testing 89 => 1 -Testing 189 => 0 -Testing 90 => 1 -Testing 190 => 0 -Testing 91 => 1 -Testing 191 => 0 -Testing 92 => 1 -Testing 192 => 0 -Testing 93 => 1 -Testing 193 => 0 -Testing 94 => 1 -Testing 194 => 0 -Testing 95 => 1 -Testing 195 => 0 -Testing 96 => 1 -Testing 196 => 0 -Testing 97 => 1 -Testing 197 => 0 -Testing 98 => 1 -Testing 198 => 0 -Testing 99 => 1 -Testing 199 => 0 -Set internal structure: MNode (63, 0, 0, MNode (31, 1, 0, MNode (15, 1, 0, MNode (7, 1, 0, MNode (3, 1, 0, MNode (1, 1, 0, MNode (0, 1, 0, 0, 0), MNode (2, 1, 0, 0, 0)), MNode (5, 1, 0, MNode (4, 1, 0, 0, 0), MNode (6, 1, 0, 0, 0))), MNode (11, 1, 0, MNode (9, 1, 0, MNode (8, 1, 0, 0, 0), MNode (10, 1, 0, 0, 0)), MNode (13, 1, 0, MNode (12, 1, 0, 0, 0), MNode (14, 1, 0, 0, 0)))), MNode (23, 1, 0, MNode (19, 1, 0, MNode (17, 1, 0, MNode (16, 1, 0, 0, 0), MNode (18, 1, 0, 0, 0)), MNode (21, 1, 0, MNode (20, 1, 0, 0, 0), MNode (22, 1, 0, 0, 0))), MNode (27, 1, 0, MNode (25, 1, 0, MNode (24, 1, 0, 0, 0), MNode (26, 1, 0, 0, 0)), MNode (29, 1, 0, MNode (28, 1, 0, 0, 0), MNode (30, 1, 0, 0, 0))))), MNode (47, 1, 0, MNode (39, 1, 0, MNode (35, 1, 0, MNode (33, 1, 0, MNode (32, 1, 0, 0, 0), MNode (34, 1, 0, 0, 0)), MNode (37, 1, 0, MNode (36, 1, 0, 0, 0), MNode (38, 1, 0, 0, 0))), MNode (43, 1, 0, MNode (41, 1, 0, MNode (40, 1, 0, 0, 0), MNode (42, 1, 0, 0, 0)), MNode (45, 1, 0, MNode (44, 1, 0, 0, 0), MNode (46, 1, 0, 0, 0)))), MNode (55, 0, 0, MNode (51, 0, 0, MNode (49, 1, 0, MNode (48, 1, 0, 0, 0), MNode (50, 0, 0, 0, 0)), MNode (53, 0, 0, MNode (52, 0, 0, 0, 0), MNode (54, 0, 0, 0, 0))), MNode (59, 0, 0, MNode (57, 0, 0, MNode (56, 0, 0, 0, 0), MNode (58, 0, 0, 0, 0)), MNode (61, 0, 0, MNode (60, 0, 0, 0, 0), MNode (62, 0, 0, 0, 0)))))), MNode (79, 0, -1, MNode (71, 0, 0, MNode (67, 0, 0, MNode (65, 0, 0, MNode (64, 0, 0, 0, 0), MNode (66, 0, 0, 0, 0)), MNode (69, 0, 0, MNode (68, 0, 0, 0, 0), MNode (70, 0, 0, 0, 0))), MNode (75, 0, 0, MNode (73, 0, 0, MNode (72, 0, 0, 0, 0), MNode (74, 0, 0, 0, 0)), MNode (77, 0, 0, MNode (76, 0, 0, 0, 0), MNode (78, 0, 0, 0, 0)))), MNode (87, 0, -1, MNode (83, 0, 0, MNode (81, 0, 0, MNode (80, 0, 0, 0, 0), MNode (82, 0, 0, 0, 0)), MNode (85, 0, 0, MNode (84, 0, 0, 0, 0), MNode (86, 0, 0, 0, 0))), MNode (95, 0, 0, MNode (91, 0, 0, MNode (89, 0, 0, MNode (88, 0, 0, 0, 0), MNode (90, 0, 0, 0, 0)), MNode (93, 0, 0, MNode (92, 0, 0, 0, 0), MNode (94, 0, 0, 0, 0))), MNode (97, 0, -1, MNode (96, 0, 0, 0, 0), MNode (98, 0, -1, 0, MNode (99, 0, 0, 0, 0))))))) -Set elements: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49} -Testing 0 => 1 -Testing 1 => 1 -Testing 2 => 1 -Testing 3 => 1 -Testing 4 => 1 -Testing 5 => 1 -Testing 6 => 1 -Testing 7 => 1 -Testing 8 => 1 -Testing 9 => 1 -Testing 10 => 1 -Testing 11 => 1 -Testing 12 => 1 -Testing 13 => 1 -Testing 14 => 1 -Testing 15 => 1 -Testing 16 => 1 -Testing 17 => 1 -Testing 18 => 1 -Testing 19 => 1 -Testing 20 => 1 -Testing 21 => 1 -Testing 22 => 1 -Testing 23 => 1 -Testing 24 => 1 -Testing 25 => 1 -Testing 26 => 1 -Testing 27 => 1 -Testing 28 => 1 -Testing 29 => 1 -Testing 30 => 1 -Testing 31 => 1 -Testing 32 => 1 -Testing 33 => 1 -Testing 34 => 1 -Testing 35 => 1 -Testing 36 => 1 -Testing 37 => 1 -Testing 38 => 1 -Testing 39 => 1 -Testing 40 => 1 -Testing 41 => 1 -Testing 42 => 1 -Testing 43 => 1 -Testing 44 => 1 -Testing 45 => 1 -Testing 46 => 1 -Testing 47 => 1 -Testing 48 => 1 -Testing 49 => 1 -Testing 50 => 0 -Testing 51 => 0 -Testing 52 => 0 -Testing 53 => 0 -Testing 54 => 0 -Testing 55 => 0 -Testing 56 => 0 -Testing 57 => 0 -Testing 58 => 0 -Testing 59 => 0 -Testing 60 => 0 -Testing 61 => 0 -Testing 62 => 0 -Testing 63 => 0 -Testing 64 => 0 -Testing 65 => 0 -Testing 66 => 0 -Testing 67 => 0 -Testing 68 => 0 -Testing 69 => 0 -Testing 70 => 0 -Testing 71 => 0 -Testing 72 => 0 -Testing 73 => 0 -Testing 74 => 0 -Testing 75 => 0 -Testing 76 => 0 -Testing 77 => 0 -Testing 78 => 0 -Testing 79 => 0 -Testing 80 => 0 -Testing 81 => 0 -Testing 82 => 0 -Testing 83 => 0 -Testing 84 => 0 -Testing 85 => 0 -Testing 86 => 0 -Testing 87 => 0 -Testing 88 => 0 -Testing 89 => 0 -Testing 90 => 0 -Testing 91 => 0 -Testing 92 => 0 -Testing 93 => 0 -Testing 94 => 0 -Testing 95 => 0 -Testing 96 => 0 -Testing 97 => 0 -Testing 98 => 0 -Testing 99 => 0 -List set: MNode (2, 1, -1, MNode (1, 1, 0, 0, 0), MNode (4, 1, 0, MNode (3, 1, 0, 0, 0), MNode (5, 1, 0, 0, 0))) -Set union: MNode (4, 1, -1, MNode (2, 1, 0, MNode (1, 1, 0, 0, 0), MNode (3, 1, 0, 0, 0)), MNode (33, 1, 0, MNode (11, 1, 0, MNode (5, 1, 0, 0, 0), MNode (22, 1, 0, 0, 0)), MNode (44, 1, -1, 0, MNode (55, 1, 0, 0, 0)))) -Elements: {1, 2, 3, 4, 5, 11, 22, 33, 44, 55} -Set difference: MNode (4, 1, -1, MNode (2, 1, 0, MNode (1, 0, 0, 0, 0), MNode (3, 0, 0, 0, 0)), MNode (33, 1, 0, MNode (11, 1, 0, MNode (5, 0, 0, 0, 0), MNode (22, 0, 0, 0, 0)), MNode (44, 0, -1, 0, MNode (55, 1, 0, 0, 0)))) -Elements: {2, 4, 11, 33, 55} diff --git a/stdlib/regression/orig/test02.log b/stdlib/regression/orig/test02.log deleted file mode 100644 index fa4ce9d80..000000000 --- a/stdlib/regression/orig/test02.log +++ /dev/null @@ -1 +0,0 @@ -Assn ("x", Dec ("3")) diff --git a/stdlib/regression/orig/test03.log b/stdlib/regression/orig/test03.log deleted file mode 100644 index 27e4c6341..000000000 --- a/stdlib/regression/orig/test03.log +++ /dev/null @@ -1,18 +0,0 @@ --1 -1 -0 --1 -1 -0 --1 -1 -0 -0 --1 -1 --1 -1 -0 -0 -1 --1 diff --git a/stdlib/regression/orig/test04.log b/stdlib/regression/orig/test04.log deleted file mode 100644 index 02bf15b17..000000000 --- a/stdlib/regression/orig/test04.log +++ /dev/null @@ -1,305 +0,0 @@ -Map internal structure: MNode (63, {630}, 0, MNode (31, {310}, 0, MNode (15, {150}, 0, MNode (7, {70}, 0, MNode (3, {30}, 0, MNode (1, {10}, 0, MNode (0, {0}, 0, 0, 0), MNode (2, {20}, 0, 0, 0)), MNode (5, {50}, 0, MNode (4, {40}, 0, 0, 0), MNode (6, {60}, 0, 0, 0))), MNode (11, {110}, 0, MNode (9, {90}, 0, MNode (8, {80}, 0, 0, 0), MNode (10, {100}, 0, 0, 0)), MNode (13, {130}, 0, MNode (12, {120}, 0, 0, 0), MNode (14, {140}, 0, 0, 0)))), MNode (23, {230}, 0, MNode (19, {190}, 0, MNode (17, {170}, 0, MNode (16, {160}, 0, 0, 0), MNode (18, {180}, 0, 0, 0)), MNode (21, {210}, 0, MNode (20, {200}, 0, 0, 0), MNode (22, {220}, 0, 0, 0))), MNode (27, {270}, 0, MNode (25, {250}, 0, MNode (24, {240}, 0, 0, 0), MNode (26, {260}, 0, 0, 0)), MNode (29, {290}, 0, MNode (28, {280}, 0, 0, 0), MNode (30, {300}, 0, 0, 0))))), MNode (47, {470}, 0, MNode (39, {390}, 0, MNode (35, {350}, 0, MNode (33, {330}, 0, MNode (32, {320}, 0, 0, 0), MNode (34, {340}, 0, 0, 0)), MNode (37, {370}, 0, MNode (36, {360}, 0, 0, 0), MNode (38, {380}, 0, 0, 0))), MNode (43, {430}, 0, MNode (41, {410}, 0, MNode (40, {400}, 0, 0, 0), MNode (42, {420}, 0, 0, 0)), MNode (45, {450}, 0, MNode (44, {440}, 0, 0, 0), MNode (46, {460}, 0, 0, 0)))), MNode (55, {550}, 0, MNode (51, {510}, 0, MNode (49, {490}, 0, MNode (48, {480}, 0, 0, 0), MNode (50, {500}, 0, 0, 0)), MNode (53, {530}, 0, MNode (52, {520}, 0, 0, 0), MNode (54, {540}, 0, 0, 0))), MNode (59, {590}, 0, MNode (57, {570}, 0, MNode (56, {560}, 0, 0, 0), MNode (58, {580}, 0, 0, 0)), MNode (61, {610}, 0, MNode (60, {600}, 0, 0, 0), MNode (62, {620}, 0, 0, 0)))))), MNode (79, {790}, -1, MNode (71, {710}, 0, MNode (67, {670}, 0, MNode (65, {650}, 0, MNode (64, {640}, 0, 0, 0), MNode (66, {660}, 0, 0, 0)), MNode (69, {690}, 0, MNode (68, {680}, 0, 0, 0), MNode (70, {700}, 0, 0, 0))), MNode (75, {750}, 0, MNode (73, {730}, 0, MNode (72, {720}, 0, 0, 0), MNode (74, {740}, 0, 0, 0)), MNode (77, {770}, 0, MNode (76, {760}, 0, 0, 0), MNode (78, {780}, 0, 0, 0)))), MNode (87, {870}, -1, MNode (83, {830}, 0, MNode (81, {810}, 0, MNode (80, {800}, 0, 0, 0), MNode (82, {820}, 0, 0, 0)), MNode (85, {850}, 0, MNode (84, {840}, 0, 0, 0), MNode (86, {860}, 0, 0, 0))), MNode (95, {950}, 0, MNode (91, {910}, 0, MNode (89, {890}, 0, MNode (88, {880}, 0, 0, 0), MNode (90, {900}, 0, 0, 0)), MNode (93, {930}, 0, MNode (92, {920}, 0, 0, 0), MNode (94, {940}, 0, 0, 0))), MNode (97, {970}, -1, MNode (96, {960}, 0, 0, 0), MNode (98, {980}, -1, 0, MNode (99, {990}, 0, 0, 0))))))) -Map elements: {[0, 0], [1, 10], [2, 20], [3, 30], [4, 40], [5, 50], [6, 60], [7, 70], [8, 80], [9, 90], [10, 100], [11, 110], [12, 120], [13, 130], [14, 140], [15, 150], [16, 160], [17, 170], [18, 180], [19, 190], [20, 200], [21, 210], [22, 220], [23, 230], [24, 240], [25, 250], [26, 260], [27, 270], [28, 280], [29, 290], [30, 300], [31, 310], [32, 320], [33, 330], [34, 340], [35, 350], [36, 360], [37, 370], [38, 380], [39, 390], [40, 400], [41, 410], [42, 420], [43, 430], [44, 440], [45, 450], [46, 460], [47, 470], [48, 480], [49, 490], [50, 500], [51, 510], [52, 520], [53, 530], [54, 540], [55, 550], [56, 560], [57, 570], [58, 580], [59, 590], [60, 600], [61, 610], [62, 620], [63, 630], [64, 640], [65, 650], [66, 660], [67, 670], [68, 680], [69, 690], [70, 700], [71, 710], [72, 720], [73, 730], [74, 740], [75, 750], [76, 760], [77, 770], [78, 780], [79, 790], [80, 800], [81, 810], [82, 820], [83, 830], [84, 840], [85, 850], [86, 860], [87, 870], [88, 880], [89, 890], [90, 900], [91, 910], [92, 920], [93, 930], [94, 940], [95, 950], [96, 960], [97, 970], [98, 980], [99, 990]} -Testing 0 => Some (0) -Testing 100 => None -Testing 1 => Some (10) -Testing 101 => None -Testing 2 => Some (20) -Testing 102 => None -Testing 3 => Some (30) -Testing 103 => None -Testing 4 => Some (40) -Testing 104 => None -Testing 5 => Some (50) -Testing 105 => None -Testing 6 => Some (60) -Testing 106 => None -Testing 7 => Some (70) -Testing 107 => None -Testing 8 => Some (80) -Testing 108 => None -Testing 9 => Some (90) -Testing 109 => None -Testing 10 => Some (100) -Testing 110 => None -Testing 11 => Some (110) -Testing 111 => None -Testing 12 => Some (120) -Testing 112 => None -Testing 13 => Some (130) -Testing 113 => None -Testing 14 => Some (140) -Testing 114 => None -Testing 15 => Some (150) -Testing 115 => None -Testing 16 => Some (160) -Testing 116 => None -Testing 17 => Some (170) -Testing 117 => None -Testing 18 => Some (180) -Testing 118 => None -Testing 19 => Some (190) -Testing 119 => None -Testing 20 => Some (200) -Testing 120 => None -Testing 21 => Some (210) -Testing 121 => None -Testing 22 => Some (220) -Testing 122 => None -Testing 23 => Some (230) -Testing 123 => None -Testing 24 => Some (240) -Testing 124 => None -Testing 25 => Some (250) -Testing 125 => None -Testing 26 => Some (260) -Testing 126 => None -Testing 27 => Some (270) -Testing 127 => None -Testing 28 => Some (280) -Testing 128 => None -Testing 29 => Some (290) -Testing 129 => None -Testing 30 => Some (300) -Testing 130 => None -Testing 31 => Some (310) -Testing 131 => None -Testing 32 => Some (320) -Testing 132 => None -Testing 33 => Some (330) -Testing 133 => None -Testing 34 => Some (340) -Testing 134 => None -Testing 35 => Some (350) -Testing 135 => None -Testing 36 => Some (360) -Testing 136 => None -Testing 37 => Some (370) -Testing 137 => None -Testing 38 => Some (380) -Testing 138 => None -Testing 39 => Some (390) -Testing 139 => None -Testing 40 => Some (400) -Testing 140 => None -Testing 41 => Some (410) -Testing 141 => None -Testing 42 => Some (420) -Testing 142 => None -Testing 43 => Some (430) -Testing 143 => None -Testing 44 => Some (440) -Testing 144 => None -Testing 45 => Some (450) -Testing 145 => None -Testing 46 => Some (460) -Testing 146 => None -Testing 47 => Some (470) -Testing 147 => None -Testing 48 => Some (480) -Testing 148 => None -Testing 49 => Some (490) -Testing 149 => None -Testing 50 => Some (500) -Testing 150 => None -Testing 51 => Some (510) -Testing 151 => None -Testing 52 => Some (520) -Testing 152 => None -Testing 53 => Some (530) -Testing 153 => None -Testing 54 => Some (540) -Testing 154 => None -Testing 55 => Some (550) -Testing 155 => None -Testing 56 => Some (560) -Testing 156 => None -Testing 57 => Some (570) -Testing 157 => None -Testing 58 => Some (580) -Testing 158 => None -Testing 59 => Some (590) -Testing 159 => None -Testing 60 => Some (600) -Testing 160 => None -Testing 61 => Some (610) -Testing 161 => None -Testing 62 => Some (620) -Testing 162 => None -Testing 63 => Some (630) -Testing 163 => None -Testing 64 => Some (640) -Testing 164 => None -Testing 65 => Some (650) -Testing 165 => None -Testing 66 => Some (660) -Testing 166 => None -Testing 67 => Some (670) -Testing 167 => None -Testing 68 => Some (680) -Testing 168 => None -Testing 69 => Some (690) -Testing 169 => None -Testing 70 => Some (700) -Testing 170 => None -Testing 71 => Some (710) -Testing 171 => None -Testing 72 => Some (720) -Testing 172 => None -Testing 73 => Some (730) -Testing 173 => None -Testing 74 => Some (740) -Testing 174 => None -Testing 75 => Some (750) -Testing 175 => None -Testing 76 => Some (760) -Testing 176 => None -Testing 77 => Some (770) -Testing 177 => None -Testing 78 => Some (780) -Testing 178 => None -Testing 79 => Some (790) -Testing 179 => None -Testing 80 => Some (800) -Testing 180 => None -Testing 81 => Some (810) -Testing 181 => None -Testing 82 => Some (820) -Testing 182 => None -Testing 83 => Some (830) -Testing 183 => None -Testing 84 => Some (840) -Testing 184 => None -Testing 85 => Some (850) -Testing 185 => None -Testing 86 => Some (860) -Testing 186 => None -Testing 87 => Some (870) -Testing 187 => None -Testing 88 => Some (880) -Testing 188 => None -Testing 89 => Some (890) -Testing 189 => None -Testing 90 => Some (900) -Testing 190 => None -Testing 91 => Some (910) -Testing 191 => None -Testing 92 => Some (920) -Testing 192 => None -Testing 93 => Some (930) -Testing 193 => None -Testing 94 => Some (940) -Testing 194 => None -Testing 95 => Some (950) -Testing 195 => None -Testing 96 => Some (960) -Testing 196 => None -Testing 97 => Some (970) -Testing 197 => None -Testing 98 => Some (980) -Testing 198 => None -Testing 99 => Some (990) -Testing 199 => None -Map internal structure: MNode (63, 0, 0, MNode (31, {310}, 0, MNode (15, {150}, 0, MNode (7, {70}, 0, MNode (3, {30}, 0, MNode (1, {10}, 0, MNode (0, {0}, 0, 0, 0), MNode (2, {20}, 0, 0, 0)), MNode (5, {50}, 0, MNode (4, {40}, 0, 0, 0), MNode (6, {60}, 0, 0, 0))), MNode (11, {110}, 0, MNode (9, {90}, 0, MNode (8, {80}, 0, 0, 0), MNode (10, {100}, 0, 0, 0)), MNode (13, {130}, 0, MNode (12, {120}, 0, 0, 0), MNode (14, {140}, 0, 0, 0)))), MNode (23, {230}, 0, MNode (19, {190}, 0, MNode (17, {170}, 0, MNode (16, {160}, 0, 0, 0), MNode (18, {180}, 0, 0, 0)), MNode (21, {210}, 0, MNode (20, {200}, 0, 0, 0), MNode (22, {220}, 0, 0, 0))), MNode (27, {270}, 0, MNode (25, {250}, 0, MNode (24, {240}, 0, 0, 0), MNode (26, {260}, 0, 0, 0)), MNode (29, {290}, 0, MNode (28, {280}, 0, 0, 0), MNode (30, {300}, 0, 0, 0))))), MNode (47, {470}, 0, MNode (39, {390}, 0, MNode (35, {350}, 0, MNode (33, {330}, 0, MNode (32, {320}, 0, 0, 0), MNode (34, {340}, 0, 0, 0)), MNode (37, {370}, 0, MNode (36, {360}, 0, 0, 0), MNode (38, {380}, 0, 0, 0))), MNode (43, {430}, 0, MNode (41, {410}, 0, MNode (40, {400}, 0, 0, 0), MNode (42, {420}, 0, 0, 0)), MNode (45, {450}, 0, MNode (44, {440}, 0, 0, 0), MNode (46, {460}, 0, 0, 0)))), MNode (55, 0, 0, MNode (51, 0, 0, MNode (49, {490}, 0, MNode (48, {480}, 0, 0, 0), MNode (50, 0, 0, 0, 0)), MNode (53, 0, 0, MNode (52, 0, 0, 0, 0), MNode (54, 0, 0, 0, 0))), MNode (59, 0, 0, MNode (57, 0, 0, MNode (56, 0, 0, 0, 0), MNode (58, 0, 0, 0, 0)), MNode (61, 0, 0, MNode (60, 0, 0, 0, 0), MNode (62, 0, 0, 0, 0)))))), MNode (79, 0, -1, MNode (71, 0, 0, MNode (67, 0, 0, MNode (65, 0, 0, MNode (64, 0, 0, 0, 0), MNode (66, 0, 0, 0, 0)), MNode (69, 0, 0, MNode (68, 0, 0, 0, 0), MNode (70, 0, 0, 0, 0))), MNode (75, 0, 0, MNode (73, 0, 0, MNode (72, 0, 0, 0, 0), MNode (74, 0, 0, 0, 0)), MNode (77, 0, 0, MNode (76, 0, 0, 0, 0), MNode (78, 0, 0, 0, 0)))), MNode (87, 0, -1, MNode (83, 0, 0, MNode (81, 0, 0, MNode (80, 0, 0, 0, 0), MNode (82, 0, 0, 0, 0)), MNode (85, 0, 0, MNode (84, 0, 0, 0, 0), MNode (86, 0, 0, 0, 0))), MNode (95, 0, 0, MNode (91, 0, 0, MNode (89, 0, 0, MNode (88, 0, 0, 0, 0), MNode (90, 0, 0, 0, 0)), MNode (93, 0, 0, MNode (92, 0, 0, 0, 0), MNode (94, 0, 0, 0, 0))), MNode (97, 0, -1, MNode (96, 0, 0, 0, 0), MNode (98, 0, -1, 0, MNode (99, 0, 0, 0, 0))))))) -Map elements: {[0, 0], [1, 10], [2, 20], [3, 30], [4, 40], [5, 50], [6, 60], [7, 70], [8, 80], [9, 90], [10, 100], [11, 110], [12, 120], [13, 130], [14, 140], [15, 150], [16, 160], [17, 170], [18, 180], [19, 190], [20, 200], [21, 210], [22, 220], [23, 230], [24, 240], [25, 250], [26, 260], [27, 270], [28, 280], [29, 290], [30, 300], [31, 310], [32, 320], [33, 330], [34, 340], [35, 350], [36, 360], [37, 370], [38, 380], [39, 390], [40, 400], [41, 410], [42, 420], [43, 430], [44, 440], [45, 450], [46, 460], [47, 470], [48, 480], [49, 490]} -Testing 0 => Some (0) -Testing 1 => Some (10) -Testing 2 => Some (20) -Testing 3 => Some (30) -Testing 4 => Some (40) -Testing 5 => Some (50) -Testing 6 => Some (60) -Testing 7 => Some (70) -Testing 8 => Some (80) -Testing 9 => Some (90) -Testing 10 => Some (100) -Testing 11 => Some (110) -Testing 12 => Some (120) -Testing 13 => Some (130) -Testing 14 => Some (140) -Testing 15 => Some (150) -Testing 16 => Some (160) -Testing 17 => Some (170) -Testing 18 => Some (180) -Testing 19 => Some (190) -Testing 20 => Some (200) -Testing 21 => Some (210) -Testing 22 => Some (220) -Testing 23 => Some (230) -Testing 24 => Some (240) -Testing 25 => Some (250) -Testing 26 => Some (260) -Testing 27 => Some (270) -Testing 28 => Some (280) -Testing 29 => Some (290) -Testing 30 => Some (300) -Testing 31 => Some (310) -Testing 32 => Some (320) -Testing 33 => Some (330) -Testing 34 => Some (340) -Testing 35 => Some (350) -Testing 36 => Some (360) -Testing 37 => Some (370) -Testing 38 => Some (380) -Testing 39 => Some (390) -Testing 40 => Some (400) -Testing 41 => Some (410) -Testing 42 => Some (420) -Testing 43 => Some (430) -Testing 44 => Some (440) -Testing 45 => Some (450) -Testing 46 => Some (460) -Testing 47 => Some (470) -Testing 48 => Some (480) -Testing 49 => Some (490) -Testing 50 => None -Testing 51 => None -Testing 52 => None -Testing 53 => None -Testing 54 => None -Testing 55 => None -Testing 56 => None -Testing 57 => None -Testing 58 => None -Testing 59 => None -Testing 60 => None -Testing 61 => None -Testing 62 => None -Testing 63 => None -Testing 64 => None -Testing 65 => None -Testing 66 => None -Testing 67 => None -Testing 68 => None -Testing 69 => None -Testing 70 => None -Testing 71 => None -Testing 72 => None -Testing 73 => None -Testing 74 => None -Testing 75 => None -Testing 76 => None -Testing 77 => None -Testing 78 => None -Testing 79 => None -Testing 80 => None -Testing 81 => None -Testing 82 => None -Testing 83 => None -Testing 84 => None -Testing 85 => None -Testing 86 => None -Testing 87 => None -Testing 88 => None -Testing 89 => None -Testing 90 => None -Testing 91 => None -Testing 92 => None -Testing 93 => None -Testing 94 => None -Testing 95 => None -Testing 96 => None -Testing 97 => None -Testing 98 => None -Testing 99 => None -List map: MNode (2, {20}, -1, MNode (1, {10}, 0, 0, 0), MNode (4, {40}, 0, MNode (3, {30}, 0, 0, 0), MNode (5, {50}, 0, 0, 0))) diff --git a/stdlib/regression/orig/test05.log b/stdlib/regression/orig/test05.log deleted file mode 100644 index ad1599531..000000000 --- a/stdlib/regression/orig/test05.log +++ /dev/null @@ -1,9 +0,0 @@ -Cached: 1 -Cached: 1 -Cached: 1 -Cached: 1 -Cached: 1 -Cached: 1 -Cached: 1 -Cached: 1 -Cached: 1 diff --git a/stdlib/regression/orig/test06.log b/stdlib/regression/orig/test06.log deleted file mode 100644 index 685f6aaab..000000000 --- a/stdlib/regression/orig/test06.log +++ /dev/null @@ -1,7 +0,0 @@ -Flattening: 0 -Flattening: {0, 0, 0, 0} -Flattening: 0 -Flattening: {1, 2, 3} -Flattening: {1, 2, 3, 4, 5, 6, 7, 8, 9} -List to array: [1, 2, 3, 4, 5] -Array to list: {1, 2, 3, 4, 5} diff --git a/stdlib/regression/orig/test07.log b/stdlib/regression/orig/test07.log deleted file mode 100644 index 6eb87899f..000000000 --- a/stdlib/regression/orig/test07.log +++ /dev/null @@ -1,6 +0,0 @@ -HashTab internal structure: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, {[{1, 2, 3}, 100]}, 0, 0, 0] -HashTab internal structure: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, {[{1, 2, 3}, 200], [{1, 2, 3}, 100]}, 0, 0, 0] -Searching: Some (200) -Searching: Some (200) -Replaced: Some (800) -Restored: Some (200) diff --git a/stdlib/regression/orig/test08.log b/stdlib/regression/orig/test08.log deleted file mode 100644 index 9edaa2d53..000000000 --- a/stdlib/regression/orig/test08.log +++ /dev/null @@ -1,3 +0,0 @@ -6 -120 -5040 diff --git a/stdlib/regression/orig/test09.log b/stdlib/regression/orig/test09.log deleted file mode 100644 index 99a08503c..000000000 --- a/stdlib/regression/orig/test09.log +++ /dev/null @@ -1,5 +0,0 @@ -Parsing a*| against "aa"... Succ ({"a", "a"}) -Parsing a+| against "aa"... Succ ({"a", "a"}) -Parsing list(a)| against "a"... Succ ({"a"}) -Parsing list(a)| against "a,a"... Succ ({"a", "a"}) -Parsing list0(a)| against ""... Succ (0) diff --git a/stdlib/regression/orig/test10.log b/stdlib/regression/orig/test10.log deleted file mode 100644 index 149d3b197..000000000 --- a/stdlib/regression/orig/test10.log +++ /dev/null @@ -1,2 +0,0 @@ -Parsing "aaa" with many ... Succ ({"a", "a", "a"}) -Parsing "ab" with bad_alter ... Succ ("ab") diff --git a/stdlib/regression/orig/test11.log b/stdlib/regression/orig/test11.log deleted file mode 100644 index 888493573..000000000 --- a/stdlib/regression/orig/test11.log +++ /dev/null @@ -1,6 +0,0 @@ -Succ ("a") -Succ (Add ("a", "a")) -Succ (Sub ("a", "a")) -Succ (Sub (Add ("a", "a"), "a")) -Succ (Add ("a", Mul ("a", "a"))) -Succ (Sub (Mul ("a", "a"), Div ("a", "a"))) diff --git a/stdlib/regression/orig/test12.log b/stdlib/regression/orig/test12.log deleted file mode 100644 index ec9e9230c..000000000 --- a/stdlib/regression/orig/test12.log +++ /dev/null @@ -1 +0,0 @@ -Succ (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul ("a", "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a")) diff --git a/stdlib/regression/orig/test13.log b/stdlib/regression/orig/test13.log deleted file mode 100644 index 043727b53..000000000 --- a/stdlib/regression/orig/test13.log +++ /dev/null @@ -1,3 +0,0 @@ -Succ (Add ("a", Sub ("a", "a"))) -Succ (Mul (Div (Mul ("a", "a"), "a"), "a")) -Succ (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a")))) diff --git a/stdlib/regression/orig/test14.log b/stdlib/regression/orig/test14.log deleted file mode 100644 index 043727b53..000000000 --- a/stdlib/regression/orig/test14.log +++ /dev/null @@ -1,3 +0,0 @@ -Succ (Add ("a", Sub ("a", "a"))) -Succ (Mul (Div (Mul ("a", "a"), "a"), "a")) -Succ (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a")))) diff --git a/stdlib/regression/orig/test15.log b/stdlib/regression/orig/test15.log deleted file mode 100644 index 45db5c868..000000000 --- a/stdlib/regression/orig/test15.log +++ /dev/null @@ -1,4 +0,0 @@ -Succ (Eq ("a", "a")) -Succ (Eq (Mul ("a", "a"), Mul ("a", "a"))) -Succ (Eq (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a"))), Sub (Mul ("a", "a"), "a"))) -Fail ({""*" expected at"}, 1, 2) diff --git a/stdlib/regression/orig/test16.log b/stdlib/regression/orig/test16.log deleted file mode 100644 index d632800a9..000000000 --- a/stdlib/regression/orig/test16.log +++ /dev/null @@ -1,6 +0,0 @@ -Succ (Eq ("a", "a")) -Succ (Eq ("b", "b")) -Succ (Eq (Mul ("a", "a"), Mul ("a", "a"))) -Succ (Eq (Mul ("b", "b"), Mul ("b", "b"))) -Succ (Eq (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a"))), Sub (Mul ("a", "a"), "a"))) -Succ (Eq (Add (Mul ("b", "b"), Sub (Div ("b", "b"), Mul ("b", "b"))), Sub (Mul ("b", "b"), "b"))) diff --git a/stdlib/regression/orig/test17.log b/stdlib/regression/orig/test17.log deleted file mode 100644 index 600f469d3..000000000 --- a/stdlib/regression/orig/test17.log +++ /dev/null @@ -1,12 +0,0 @@ -Lazy body: 0 -Lazy body: 1 -Lazy body: 2 -Lazy body: 3 -Lazy body: 4 -Lazy body: 5 -Lazy body: 6 -Lazy body: 7 -Lazy body: 8 -Lazy body: 9 -First force: 100 -Second force: 100 diff --git a/stdlib/regression/orig/test18.log b/stdlib/regression/orig/test18.log deleted file mode 100644 index 8d01ee80a..000000000 --- a/stdlib/regression/orig/test18.log +++ /dev/null @@ -1,32 +0,0 @@ -1 =?= 1 = 0 -symmetricity: ok -1 =?= 10 = -1 -symmetricity: ok -"abc" =?= "abc" = 0 -symmetricity: ok -"abc" =?= "def" = -1 -symmetricity: ok -1 =?= "abc" = 1 -symmetricity: ok -S (1) =?= S (1) = 0 -symmetricity: ok -S (2) =?= S (1) = 1 -symmetricity: ok -S (1, 2, 3) =?= S (1, 3, 2) = -1 -symmetricity: ok -S (1, 2, 3) =?= D (5, 6) = 1 -symmetricity: ok -1 =?= S (5) = 1 -symmetricity: ok -"abs" =?= S (5, 6) = -1 -symmetricity: ok -[1, 2, 3] =?= S (1, 2, 3) = -1 -symmetricity: ok -"abc" =?= [1, 2, 3] = -1 -symmetricity: ok -1 =?= [1, 2, 3] = 1 -symmetricity: ok -0 -0 -0 -0 diff --git a/stdlib/regression/orig/test20.log b/stdlib/regression/orig/test20.log deleted file mode 100644 index 823fbc829..000000000 --- a/stdlib/regression/orig/test20.log +++ /dev/null @@ -1,12 +0,0 @@ -Empty -Node (0, Empty, Empty) -Node (0, Empty, Node (1, Empty, Empty)) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Empty))) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Empty)))) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Empty))))) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Empty)))))) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Empty))))))) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Node (7, Empty, Empty)))))))) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Node (7, Empty, Node (8, Empty, Empty))))))))) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Node (7, Empty, Node (8, Empty, Node (9, Empty, Empty)))))))))) -Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Node (7, Empty, Node (8, Empty, Node (9, Empty, Node (10, Empty, Empty))))))))))) diff --git a/stdlib/regression/orig/test21.log b/stdlib/regression/orig/test21.log deleted file mode 100644 index 0460887d8..000000000 --- a/stdlib/regression/orig/test21.log +++ /dev/null @@ -1,9 +0,0 @@ -1 -1 -1 -1 -1 -2 -3 -100 -Cons (3, Cons (2, Cons (1, Cons (6, Cons (5, Cons (4, Cons (3, Cons (2, Cons (1, Nil))))))))) diff --git a/stdlib/regression/orig/test22.log b/stdlib/regression/orig/test22.log deleted file mode 100644 index 663d7b156..000000000 --- a/stdlib/regression/orig/test22.log +++ /dev/null @@ -1,4 +0,0 @@ -0 -{1, 2, 3, 4} -{{1}, {2, 3}, {4, {5, 6}}} -{1, 2, 3, 4} diff --git a/stdlib/regression/orig/test23.log b/stdlib/regression/orig/test23.log deleted file mode 100644 index 88c62213f..000000000 --- a/stdlib/regression/orig/test23.log +++ /dev/null @@ -1,3 +0,0 @@ -1 -{2, 3, 4} -2 diff --git a/stdlib/regression/orig/test24.log b/stdlib/regression/orig/test24.log deleted file mode 100644 index dd333ad49..000000000 --- a/stdlib/regression/orig/test24.log +++ /dev/null @@ -1,3 +0,0 @@ -3 -{1} -{1} diff --git a/stdlib/regression/orig/test25.log b/stdlib/regression/orig/test25.log deleted file mode 100644 index 865b114d1..000000000 --- a/stdlib/regression/orig/test25.log +++ /dev/null @@ -1,5 +0,0 @@ -Cloning int: 5 -Cloning string: abc -Cloning array: [1, 2, 3, 4, 5] -Cloning sexp: A (1, 2, 3, 4, 5) -Cloning closure: address ok, 5, 6 diff --git a/stdlib/regression/orig/test26.log b/stdlib/regression/orig/test26.log deleted file mode 100644 index 84b318eed..000000000 --- a/stdlib/regression/orig/test26.log +++ /dev/null @@ -1,2 +0,0 @@ -Number of commands-line arguments: 1 - arg [0 ] = "./test26" diff --git a/stdlib/regression/orig/test27.log b/stdlib/regression/orig/test27.log deleted file mode 100644 index dcd7a5d6d..000000000 --- a/stdlib/regression/orig/test27.log +++ /dev/null @@ -1 +0,0 @@ -Yes diff --git a/stdlib/regression/orig/test28.log b/stdlib/regression/orig/test28.log deleted file mode 100644 index 7c3587ea9..000000000 --- a/stdlib/regression/orig/test28.log +++ /dev/null @@ -1,4 +0,0 @@ -Succ (Seq ("a", "b")) -Succ (Alt ("a")) -Succ (Alt ("b")) -Succ (Rep ({"a", "a", "a"})) diff --git a/stdlib/regression/orig/test29.log b/stdlib/regression/orig/test29.log deleted file mode 100644 index 7c3587ea9..000000000 --- a/stdlib/regression/orig/test29.log +++ /dev/null @@ -1,4 +0,0 @@ -Succ (Seq ("a", "b")) -Succ (Alt ("a")) -Succ (Alt ("b")) -Succ (Rep ({"a", "a", "a"})) diff --git a/stdlib/regression/orig/test30.log b/stdlib/regression/orig/test30.log deleted file mode 100644 index 43ca3cbf8..000000000 --- a/stdlib/regression/orig/test30.log +++ /dev/null @@ -1,200 +0,0 @@ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 diff --git a/stdlib/regression/orig/test32.log b/stdlib/regression/orig/test32.log deleted file mode 100644 index 898989cb5..000000000 --- a/stdlib/regression/orig/test32.log +++ /dev/null @@ -1,2 +0,0 @@ -Flattening: 0 -Flattening: {A, B, C, D} diff --git a/stdlib/regression/orig/test33.log b/stdlib/regression/orig/test33.log deleted file mode 100644 index 35beaeee9..000000000 --- a/stdlib/regression/orig/test33.log +++ /dev/null @@ -1,2 +0,0 @@ -{}.string: 0 -{}.stringcat: diff --git a/stdlib/regression/orig/test34.log b/stdlib/regression/orig/test34.log deleted file mode 100644 index 519dc0540..000000000 --- a/stdlib/regression/orig/test34.log +++ /dev/null @@ -1,2 +0,0 @@ - ' " ` % \ \r - \h @ $ # ; [ ] \ No newline at end of file diff --git a/stdlib/regression/test01.t b/stdlib/regression/test01.t new file mode 100644 index 000000000..066593f96 --- /dev/null +++ b/stdlib/regression/test01.t @@ -0,0 +1,314 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test01.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Set internal structure: MNode (63, 1, 0, MNode (31, 1, 0, MNode (15, 1, 0, MNode (7, 1, 0, MNode (3, 1, 0, MNode (1, 1, 0, MNode (0, 1, 0, 0, 0), MNode (2, 1, 0, 0, 0)), MNode (5, 1, 0, MNode (4, 1, 0, 0, 0), MNode (6, 1, 0, 0, 0))), MNode (11, 1, 0, MNode (9, 1, 0, MNode (8, 1, 0, 0, 0), MNode (10, 1, 0, 0, 0)), MNode (13, 1, 0, MNode (12, 1, 0, 0, 0), MNode (14, 1, 0, 0, 0)))), MNode (23, 1, 0, MNode (19, 1, 0, MNode (17, 1, 0, MNode (16, 1, 0, 0, 0), MNode (18, 1, 0, 0, 0)), MNode (21, 1, 0, MNode (20, 1, 0, 0, 0), MNode (22, 1, 0, 0, 0))), MNode (27, 1, 0, MNode (25, 1, 0, MNode (24, 1, 0, 0, 0), MNode (26, 1, 0, 0, 0)), MNode (29, 1, 0, MNode (28, 1, 0, 0, 0), MNode (30, 1, 0, 0, 0))))), MNode (47, 1, 0, MNode (39, 1, 0, MNode (35, 1, 0, MNode (33, 1, 0, MNode (32, 1, 0, 0, 0), MNode (34, 1, 0, 0, 0)), MNode (37, 1, 0, MNode (36, 1, 0, 0, 0), MNode (38, 1, 0, 0, 0))), MNode (43, 1, 0, MNode (41, 1, 0, MNode (40, 1, 0, 0, 0), MNode (42, 1, 0, 0, 0)), MNode (45, 1, 0, MNode (44, 1, 0, 0, 0), MNode (46, 1, 0, 0, 0)))), MNode (55, 1, 0, MNode (51, 1, 0, MNode (49, 1, 0, MNode (48, 1, 0, 0, 0), MNode (50, 1, 0, 0, 0)), MNode (53, 1, 0, MNode (52, 1, 0, 0, 0), MNode (54, 1, 0, 0, 0))), MNode (59, 1, 0, MNode (57, 1, 0, MNode (56, 1, 0, 0, 0), MNode (58, 1, 0, 0, 0)), MNode (61, 1, 0, MNode (60, 1, 0, 0, 0), MNode (62, 1, 0, 0, 0)))))), MNode (79, 1, -1, MNode (71, 1, 0, MNode (67, 1, 0, MNode (65, 1, 0, MNode (64, 1, 0, 0, 0), MNode (66, 1, 0, 0, 0)), MNode (69, 1, 0, MNode (68, 1, 0, 0, 0), MNode (70, 1, 0, 0, 0))), MNode (75, 1, 0, MNode (73, 1, 0, MNode (72, 1, 0, 0, 0), MNode (74, 1, 0, 0, 0)), MNode (77, 1, 0, MNode (76, 1, 0, 0, 0), MNode (78, 1, 0, 0, 0)))), MNode (87, 1, -1, MNode (83, 1, 0, MNode (81, 1, 0, MNode (80, 1, 0, 0, 0), MNode (82, 1, 0, 0, 0)), MNode (85, 1, 0, MNode (84, 1, 0, 0, 0), MNode (86, 1, 0, 0, 0))), MNode (95, 1, 0, MNode (91, 1, 0, MNode (89, 1, 0, MNode (88, 1, 0, 0, 0), MNode (90, 1, 0, 0, 0)), MNode (93, 1, 0, MNode (92, 1, 0, 0, 0), MNode (94, 1, 0, 0, 0))), MNode (97, 1, -1, MNode (96, 1, 0, 0, 0), MNode (98, 1, -1, 0, MNode (99, 1, 0, 0, 0))))))) + Set elements: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99} + Testing 0 => 1 + Testing 100 => 0 + Testing 1 => 1 + Testing 101 => 0 + Testing 2 => 1 + Testing 102 => 0 + Testing 3 => 1 + Testing 103 => 0 + Testing 4 => 1 + Testing 104 => 0 + Testing 5 => 1 + Testing 105 => 0 + Testing 6 => 1 + Testing 106 => 0 + Testing 7 => 1 + Testing 107 => 0 + Testing 8 => 1 + Testing 108 => 0 + Testing 9 => 1 + Testing 109 => 0 + Testing 10 => 1 + Testing 110 => 0 + Testing 11 => 1 + Testing 111 => 0 + Testing 12 => 1 + Testing 112 => 0 + Testing 13 => 1 + Testing 113 => 0 + Testing 14 => 1 + Testing 114 => 0 + Testing 15 => 1 + Testing 115 => 0 + Testing 16 => 1 + Testing 116 => 0 + Testing 17 => 1 + Testing 117 => 0 + Testing 18 => 1 + Testing 118 => 0 + Testing 19 => 1 + Testing 119 => 0 + Testing 20 => 1 + Testing 120 => 0 + Testing 21 => 1 + Testing 121 => 0 + Testing 22 => 1 + Testing 122 => 0 + Testing 23 => 1 + Testing 123 => 0 + Testing 24 => 1 + Testing 124 => 0 + Testing 25 => 1 + Testing 125 => 0 + Testing 26 => 1 + Testing 126 => 0 + Testing 27 => 1 + Testing 127 => 0 + Testing 28 => 1 + Testing 128 => 0 + Testing 29 => 1 + Testing 129 => 0 + Testing 30 => 1 + Testing 130 => 0 + Testing 31 => 1 + Testing 131 => 0 + Testing 32 => 1 + Testing 132 => 0 + Testing 33 => 1 + Testing 133 => 0 + Testing 34 => 1 + Testing 134 => 0 + Testing 35 => 1 + Testing 135 => 0 + Testing 36 => 1 + Testing 136 => 0 + Testing 37 => 1 + Testing 137 => 0 + Testing 38 => 1 + Testing 138 => 0 + Testing 39 => 1 + Testing 139 => 0 + Testing 40 => 1 + Testing 140 => 0 + Testing 41 => 1 + Testing 141 => 0 + Testing 42 => 1 + Testing 142 => 0 + Testing 43 => 1 + Testing 143 => 0 + Testing 44 => 1 + Testing 144 => 0 + Testing 45 => 1 + Testing 145 => 0 + Testing 46 => 1 + Testing 146 => 0 + Testing 47 => 1 + Testing 147 => 0 + Testing 48 => 1 + Testing 148 => 0 + Testing 49 => 1 + Testing 149 => 0 + Testing 50 => 1 + Testing 150 => 0 + Testing 51 => 1 + Testing 151 => 0 + Testing 52 => 1 + Testing 152 => 0 + Testing 53 => 1 + Testing 153 => 0 + Testing 54 => 1 + Testing 154 => 0 + Testing 55 => 1 + Testing 155 => 0 + Testing 56 => 1 + Testing 156 => 0 + Testing 57 => 1 + Testing 157 => 0 + Testing 58 => 1 + Testing 158 => 0 + Testing 59 => 1 + Testing 159 => 0 + Testing 60 => 1 + Testing 160 => 0 + Testing 61 => 1 + Testing 161 => 0 + Testing 62 => 1 + Testing 162 => 0 + Testing 63 => 1 + Testing 163 => 0 + Testing 64 => 1 + Testing 164 => 0 + Testing 65 => 1 + Testing 165 => 0 + Testing 66 => 1 + Testing 166 => 0 + Testing 67 => 1 + Testing 167 => 0 + Testing 68 => 1 + Testing 168 => 0 + Testing 69 => 1 + Testing 169 => 0 + Testing 70 => 1 + Testing 170 => 0 + Testing 71 => 1 + Testing 171 => 0 + Testing 72 => 1 + Testing 172 => 0 + Testing 73 => 1 + Testing 173 => 0 + Testing 74 => 1 + Testing 174 => 0 + Testing 75 => 1 + Testing 175 => 0 + Testing 76 => 1 + Testing 176 => 0 + Testing 77 => 1 + Testing 177 => 0 + Testing 78 => 1 + Testing 178 => 0 + Testing 79 => 1 + Testing 179 => 0 + Testing 80 => 1 + Testing 180 => 0 + Testing 81 => 1 + Testing 181 => 0 + Testing 82 => 1 + Testing 182 => 0 + Testing 83 => 1 + Testing 183 => 0 + Testing 84 => 1 + Testing 184 => 0 + Testing 85 => 1 + Testing 185 => 0 + Testing 86 => 1 + Testing 186 => 0 + Testing 87 => 1 + Testing 187 => 0 + Testing 88 => 1 + Testing 188 => 0 + Testing 89 => 1 + Testing 189 => 0 + Testing 90 => 1 + Testing 190 => 0 + Testing 91 => 1 + Testing 191 => 0 + Testing 92 => 1 + Testing 192 => 0 + Testing 93 => 1 + Testing 193 => 0 + Testing 94 => 1 + Testing 194 => 0 + Testing 95 => 1 + Testing 195 => 0 + Testing 96 => 1 + Testing 196 => 0 + Testing 97 => 1 + Testing 197 => 0 + Testing 98 => 1 + Testing 198 => 0 + Testing 99 => 1 + Testing 199 => 0 + Set internal structure: MNode (63, 0, 0, MNode (31, 1, 0, MNode (15, 1, 0, MNode (7, 1, 0, MNode (3, 1, 0, MNode (1, 1, 0, MNode (0, 1, 0, 0, 0), MNode (2, 1, 0, 0, 0)), MNode (5, 1, 0, MNode (4, 1, 0, 0, 0), MNode (6, 1, 0, 0, 0))), MNode (11, 1, 0, MNode (9, 1, 0, MNode (8, 1, 0, 0, 0), MNode (10, 1, 0, 0, 0)), MNode (13, 1, 0, MNode (12, 1, 0, 0, 0), MNode (14, 1, 0, 0, 0)))), MNode (23, 1, 0, MNode (19, 1, 0, MNode (17, 1, 0, MNode (16, 1, 0, 0, 0), MNode (18, 1, 0, 0, 0)), MNode (21, 1, 0, MNode (20, 1, 0, 0, 0), MNode (22, 1, 0, 0, 0))), MNode (27, 1, 0, MNode (25, 1, 0, MNode (24, 1, 0, 0, 0), MNode (26, 1, 0, 0, 0)), MNode (29, 1, 0, MNode (28, 1, 0, 0, 0), MNode (30, 1, 0, 0, 0))))), MNode (47, 1, 0, MNode (39, 1, 0, MNode (35, 1, 0, MNode (33, 1, 0, MNode (32, 1, 0, 0, 0), MNode (34, 1, 0, 0, 0)), MNode (37, 1, 0, MNode (36, 1, 0, 0, 0), MNode (38, 1, 0, 0, 0))), MNode (43, 1, 0, MNode (41, 1, 0, MNode (40, 1, 0, 0, 0), MNode (42, 1, 0, 0, 0)), MNode (45, 1, 0, MNode (44, 1, 0, 0, 0), MNode (46, 1, 0, 0, 0)))), MNode (55, 0, 0, MNode (51, 0, 0, MNode (49, 1, 0, MNode (48, 1, 0, 0, 0), MNode (50, 0, 0, 0, 0)), MNode (53, 0, 0, MNode (52, 0, 0, 0, 0), MNode (54, 0, 0, 0, 0))), MNode (59, 0, 0, MNode (57, 0, 0, MNode (56, 0, 0, 0, 0), MNode (58, 0, 0, 0, 0)), MNode (61, 0, 0, MNode (60, 0, 0, 0, 0), MNode (62, 0, 0, 0, 0)))))), MNode (79, 0, -1, MNode (71, 0, 0, MNode (67, 0, 0, MNode (65, 0, 0, MNode (64, 0, 0, 0, 0), MNode (66, 0, 0, 0, 0)), MNode (69, 0, 0, MNode (68, 0, 0, 0, 0), MNode (70, 0, 0, 0, 0))), MNode (75, 0, 0, MNode (73, 0, 0, MNode (72, 0, 0, 0, 0), MNode (74, 0, 0, 0, 0)), MNode (77, 0, 0, MNode (76, 0, 0, 0, 0), MNode (78, 0, 0, 0, 0)))), MNode (87, 0, -1, MNode (83, 0, 0, MNode (81, 0, 0, MNode (80, 0, 0, 0, 0), MNode (82, 0, 0, 0, 0)), MNode (85, 0, 0, MNode (84, 0, 0, 0, 0), MNode (86, 0, 0, 0, 0))), MNode (95, 0, 0, MNode (91, 0, 0, MNode (89, 0, 0, MNode (88, 0, 0, 0, 0), MNode (90, 0, 0, 0, 0)), MNode (93, 0, 0, MNode (92, 0, 0, 0, 0), MNode (94, 0, 0, 0, 0))), MNode (97, 0, -1, MNode (96, 0, 0, 0, 0), MNode (98, 0, -1, 0, MNode (99, 0, 0, 0, 0))))))) + Set elements: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49} + Testing 0 => 1 + Testing 1 => 1 + Testing 2 => 1 + Testing 3 => 1 + Testing 4 => 1 + Testing 5 => 1 + Testing 6 => 1 + Testing 7 => 1 + Testing 8 => 1 + Testing 9 => 1 + Testing 10 => 1 + Testing 11 => 1 + Testing 12 => 1 + Testing 13 => 1 + Testing 14 => 1 + Testing 15 => 1 + Testing 16 => 1 + Testing 17 => 1 + Testing 18 => 1 + Testing 19 => 1 + Testing 20 => 1 + Testing 21 => 1 + Testing 22 => 1 + Testing 23 => 1 + Testing 24 => 1 + Testing 25 => 1 + Testing 26 => 1 + Testing 27 => 1 + Testing 28 => 1 + Testing 29 => 1 + Testing 30 => 1 + Testing 31 => 1 + Testing 32 => 1 + Testing 33 => 1 + Testing 34 => 1 + Testing 35 => 1 + Testing 36 => 1 + Testing 37 => 1 + Testing 38 => 1 + Testing 39 => 1 + Testing 40 => 1 + Testing 41 => 1 + Testing 42 => 1 + Testing 43 => 1 + Testing 44 => 1 + Testing 45 => 1 + Testing 46 => 1 + Testing 47 => 1 + Testing 48 => 1 + Testing 49 => 1 + Testing 50 => 0 + Testing 51 => 0 + Testing 52 => 0 + Testing 53 => 0 + Testing 54 => 0 + Testing 55 => 0 + Testing 56 => 0 + Testing 57 => 0 + Testing 58 => 0 + Testing 59 => 0 + Testing 60 => 0 + Testing 61 => 0 + Testing 62 => 0 + Testing 63 => 0 + Testing 64 => 0 + Testing 65 => 0 + Testing 66 => 0 + Testing 67 => 0 + Testing 68 => 0 + Testing 69 => 0 + Testing 70 => 0 + Testing 71 => 0 + Testing 72 => 0 + Testing 73 => 0 + Testing 74 => 0 + Testing 75 => 0 + Testing 76 => 0 + Testing 77 => 0 + Testing 78 => 0 + Testing 79 => 0 + Testing 80 => 0 + Testing 81 => 0 + Testing 82 => 0 + Testing 83 => 0 + Testing 84 => 0 + Testing 85 => 0 + Testing 86 => 0 + Testing 87 => 0 + Testing 88 => 0 + Testing 89 => 0 + Testing 90 => 0 + Testing 91 => 0 + Testing 92 => 0 + Testing 93 => 0 + Testing 94 => 0 + Testing 95 => 0 + Testing 96 => 0 + Testing 97 => 0 + Testing 98 => 0 + Testing 99 => 0 + List set: MNode (2, 1, -1, MNode (1, 1, 0, 0, 0), MNode (4, 1, 0, MNode (3, 1, 0, 0, 0), MNode (5, 1, 0, 0, 0))) + Set union: MNode (4, 1, -1, MNode (2, 1, 0, MNode (1, 1, 0, 0, 0), MNode (3, 1, 0, 0, 0)), MNode (33, 1, 0, MNode (11, 1, 0, MNode (5, 1, 0, 0, 0), MNode (22, 1, 0, 0, 0)), MNode (44, 1, -1, 0, MNode (55, 1, 0, 0, 0)))) + Elements: {1, 2, 3, 4, 5, 11, 22, 33, 44, 55} + Set difference: MNode (4, 1, -1, MNode (2, 1, 0, MNode (1, 0, 0, 0, 0), MNode (3, 0, 0, 0, 0)), MNode (33, 1, 0, MNode (11, 1, 0, MNode (5, 0, 0, 0, 0), MNode (22, 0, 0, 0, 0)), MNode (44, 0, -1, 0, MNode (55, 1, 0, 0, 0)))) + Elements: {2, 4, 11, 33, 55} diff --git a/stdlib/regression/test02.t b/stdlib/regression/test02.t new file mode 100644 index 000000000..60fb8a8c0 --- /dev/null +++ b/stdlib/regression/test02.t @@ -0,0 +1,6 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test02.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Assn ("x", Dec ("3")) diff --git a/stdlib/regression/test03.t b/stdlib/regression/test03.t new file mode 100644 index 000000000..9f54617f8 --- /dev/null +++ b/stdlib/regression/test03.t @@ -0,0 +1,23 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test03.lama -o test + /usr/bin/ld: warning: /tmp/build_f976a4_dune/ccZxTdzd.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + -1 + 1 + 0 + -1 + 1 + 0 + -1 + 1 + 0 + 0 + -1 + 1 + -1 + 1 + 0 + 0 + 1 + -1 diff --git a/stdlib/regression/test04.t b/stdlib/regression/test04.t new file mode 100644 index 000000000..c386552c3 --- /dev/null +++ b/stdlib/regression/test04.t @@ -0,0 +1,310 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test04.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Map internal structure: MNode (63, {630}, 0, MNode (31, {310}, 0, MNode (15, {150}, 0, MNode (7, {70}, 0, MNode (3, {30}, 0, MNode (1, {10}, 0, MNode (0, {0}, 0, 0, 0), MNode (2, {20}, 0, 0, 0)), MNode (5, {50}, 0, MNode (4, {40}, 0, 0, 0), MNode (6, {60}, 0, 0, 0))), MNode (11, {110}, 0, MNode (9, {90}, 0, MNode (8, {80}, 0, 0, 0), MNode (10, {100}, 0, 0, 0)), MNode (13, {130}, 0, MNode (12, {120}, 0, 0, 0), MNode (14, {140}, 0, 0, 0)))), MNode (23, {230}, 0, MNode (19, {190}, 0, MNode (17, {170}, 0, MNode (16, {160}, 0, 0, 0), MNode (18, {180}, 0, 0, 0)), MNode (21, {210}, 0, MNode (20, {200}, 0, 0, 0), MNode (22, {220}, 0, 0, 0))), MNode (27, {270}, 0, MNode (25, {250}, 0, MNode (24, {240}, 0, 0, 0), MNode (26, {260}, 0, 0, 0)), MNode (29, {290}, 0, MNode (28, {280}, 0, 0, 0), MNode (30, {300}, 0, 0, 0))))), MNode (47, {470}, 0, MNode (39, {390}, 0, MNode (35, {350}, 0, MNode (33, {330}, 0, MNode (32, {320}, 0, 0, 0), MNode (34, {340}, 0, 0, 0)), MNode (37, {370}, 0, MNode (36, {360}, 0, 0, 0), MNode (38, {380}, 0, 0, 0))), MNode (43, {430}, 0, MNode (41, {410}, 0, MNode (40, {400}, 0, 0, 0), MNode (42, {420}, 0, 0, 0)), MNode (45, {450}, 0, MNode (44, {440}, 0, 0, 0), MNode (46, {460}, 0, 0, 0)))), MNode (55, {550}, 0, MNode (51, {510}, 0, MNode (49, {490}, 0, MNode (48, {480}, 0, 0, 0), MNode (50, {500}, 0, 0, 0)), MNode (53, {530}, 0, MNode (52, {520}, 0, 0, 0), MNode (54, {540}, 0, 0, 0))), MNode (59, {590}, 0, MNode (57, {570}, 0, MNode (56, {560}, 0, 0, 0), MNode (58, {580}, 0, 0, 0)), MNode (61, {610}, 0, MNode (60, {600}, 0, 0, 0), MNode (62, {620}, 0, 0, 0)))))), MNode (79, {790}, -1, MNode (71, {710}, 0, MNode (67, {670}, 0, MNode (65, {650}, 0, MNode (64, {640}, 0, 0, 0), MNode (66, {660}, 0, 0, 0)), MNode (69, {690}, 0, MNode (68, {680}, 0, 0, 0), MNode (70, {700}, 0, 0, 0))), MNode (75, {750}, 0, MNode (73, {730}, 0, MNode (72, {720}, 0, 0, 0), MNode (74, {740}, 0, 0, 0)), MNode (77, {770}, 0, MNode (76, {760}, 0, 0, 0), MNode (78, {780}, 0, 0, 0)))), MNode (87, {870}, -1, MNode (83, {830}, 0, MNode (81, {810}, 0, MNode (80, {800}, 0, 0, 0), MNode (82, {820}, 0, 0, 0)), MNode (85, {850}, 0, MNode (84, {840}, 0, 0, 0), MNode (86, {860}, 0, 0, 0))), MNode (95, {950}, 0, MNode (91, {910}, 0, MNode (89, {890}, 0, MNode (88, {880}, 0, 0, 0), MNode (90, {900}, 0, 0, 0)), MNode (93, {930}, 0, MNode (92, {920}, 0, 0, 0), MNode (94, {940}, 0, 0, 0))), MNode (97, {970}, -1, MNode (96, {960}, 0, 0, 0), MNode (98, {980}, -1, 0, MNode (99, {990}, 0, 0, 0))))))) + Map elements: {[0, 0], [1, 10], [2, 20], [3, 30], [4, 40], [5, 50], [6, 60], [7, 70], [8, 80], [9, 90], [10, 100], [11, 110], [12, 120], [13, 130], [14, 140], [15, 150], [16, 160], [17, 170], [18, 180], [19, 190], [20, 200], [21, 210], [22, 220], [23, 230], [24, 240], [25, 250], [26, 260], [27, 270], [28, 280], [29, 290], [30, 300], [31, 310], [32, 320], [33, 330], [34, 340], [35, 350], [36, 360], [37, 370], [38, 380], [39, 390], [40, 400], [41, 410], [42, 420], [43, 430], [44, 440], [45, 450], [46, 460], [47, 470], [48, 480], [49, 490], [50, 500], [51, 510], [52, 520], [53, 530], [54, 540], [55, 550], [56, 560], [57, 570], [58, 580], [59, 590], [60, 600], [61, 610], [62, 620], [63, 630], [64, 640], [65, 650], [66, 660], [67, 670], [68, 680], [69, 690], [70, 700], [71, 710], [72, 720], [73, 730], [74, 740], [75, 750], [76, 760], [77, 770], [78, 780], [79, 790], [80, 800], [81, 810], [82, 820], [83, 830], [84, 840], [85, 850], [86, 860], [87, 870], [88, 880], [89, 890], [90, 900], [91, 910], [92, 920], [93, 930], [94, 940], [95, 950], [96, 960], [97, 970], [98, 980], [99, 990]} + Testing 0 => Some (0) + Testing 100 => None + Testing 1 => Some (10) + Testing 101 => None + Testing 2 => Some (20) + Testing 102 => None + Testing 3 => Some (30) + Testing 103 => None + Testing 4 => Some (40) + Testing 104 => None + Testing 5 => Some (50) + Testing 105 => None + Testing 6 => Some (60) + Testing 106 => None + Testing 7 => Some (70) + Testing 107 => None + Testing 8 => Some (80) + Testing 108 => None + Testing 9 => Some (90) + Testing 109 => None + Testing 10 => Some (100) + Testing 110 => None + Testing 11 => Some (110) + Testing 111 => None + Testing 12 => Some (120) + Testing 112 => None + Testing 13 => Some (130) + Testing 113 => None + Testing 14 => Some (140) + Testing 114 => None + Testing 15 => Some (150) + Testing 115 => None + Testing 16 => Some (160) + Testing 116 => None + Testing 17 => Some (170) + Testing 117 => None + Testing 18 => Some (180) + Testing 118 => None + Testing 19 => Some (190) + Testing 119 => None + Testing 20 => Some (200) + Testing 120 => None + Testing 21 => Some (210) + Testing 121 => None + Testing 22 => Some (220) + Testing 122 => None + Testing 23 => Some (230) + Testing 123 => None + Testing 24 => Some (240) + Testing 124 => None + Testing 25 => Some (250) + Testing 125 => None + Testing 26 => Some (260) + Testing 126 => None + Testing 27 => Some (270) + Testing 127 => None + Testing 28 => Some (280) + Testing 128 => None + Testing 29 => Some (290) + Testing 129 => None + Testing 30 => Some (300) + Testing 130 => None + Testing 31 => Some (310) + Testing 131 => None + Testing 32 => Some (320) + Testing 132 => None + Testing 33 => Some (330) + Testing 133 => None + Testing 34 => Some (340) + Testing 134 => None + Testing 35 => Some (350) + Testing 135 => None + Testing 36 => Some (360) + Testing 136 => None + Testing 37 => Some (370) + Testing 137 => None + Testing 38 => Some (380) + Testing 138 => None + Testing 39 => Some (390) + Testing 139 => None + Testing 40 => Some (400) + Testing 140 => None + Testing 41 => Some (410) + Testing 141 => None + Testing 42 => Some (420) + Testing 142 => None + Testing 43 => Some (430) + Testing 143 => None + Testing 44 => Some (440) + Testing 144 => None + Testing 45 => Some (450) + Testing 145 => None + Testing 46 => Some (460) + Testing 146 => None + Testing 47 => Some (470) + Testing 147 => None + Testing 48 => Some (480) + Testing 148 => None + Testing 49 => Some (490) + Testing 149 => None + Testing 50 => Some (500) + Testing 150 => None + Testing 51 => Some (510) + Testing 151 => None + Testing 52 => Some (520) + Testing 152 => None + Testing 53 => Some (530) + Testing 153 => None + Testing 54 => Some (540) + Testing 154 => None + Testing 55 => Some (550) + Testing 155 => None + Testing 56 => Some (560) + Testing 156 => None + Testing 57 => Some (570) + Testing 157 => None + Testing 58 => Some (580) + Testing 158 => None + Testing 59 => Some (590) + Testing 159 => None + Testing 60 => Some (600) + Testing 160 => None + Testing 61 => Some (610) + Testing 161 => None + Testing 62 => Some (620) + Testing 162 => None + Testing 63 => Some (630) + Testing 163 => None + Testing 64 => Some (640) + Testing 164 => None + Testing 65 => Some (650) + Testing 165 => None + Testing 66 => Some (660) + Testing 166 => None + Testing 67 => Some (670) + Testing 167 => None + Testing 68 => Some (680) + Testing 168 => None + Testing 69 => Some (690) + Testing 169 => None + Testing 70 => Some (700) + Testing 170 => None + Testing 71 => Some (710) + Testing 171 => None + Testing 72 => Some (720) + Testing 172 => None + Testing 73 => Some (730) + Testing 173 => None + Testing 74 => Some (740) + Testing 174 => None + Testing 75 => Some (750) + Testing 175 => None + Testing 76 => Some (760) + Testing 176 => None + Testing 77 => Some (770) + Testing 177 => None + Testing 78 => Some (780) + Testing 178 => None + Testing 79 => Some (790) + Testing 179 => None + Testing 80 => Some (800) + Testing 180 => None + Testing 81 => Some (810) + Testing 181 => None + Testing 82 => Some (820) + Testing 182 => None + Testing 83 => Some (830) + Testing 183 => None + Testing 84 => Some (840) + Testing 184 => None + Testing 85 => Some (850) + Testing 185 => None + Testing 86 => Some (860) + Testing 186 => None + Testing 87 => Some (870) + Testing 187 => None + Testing 88 => Some (880) + Testing 188 => None + Testing 89 => Some (890) + Testing 189 => None + Testing 90 => Some (900) + Testing 190 => None + Testing 91 => Some (910) + Testing 191 => None + Testing 92 => Some (920) + Testing 192 => None + Testing 93 => Some (930) + Testing 193 => None + Testing 94 => Some (940) + Testing 194 => None + Testing 95 => Some (950) + Testing 195 => None + Testing 96 => Some (960) + Testing 196 => None + Testing 97 => Some (970) + Testing 197 => None + Testing 98 => Some (980) + Testing 198 => None + Testing 99 => Some (990) + Testing 199 => None + Map internal structure: MNode (63, 0, 0, MNode (31, {310}, 0, MNode (15, {150}, 0, MNode (7, {70}, 0, MNode (3, {30}, 0, MNode (1, {10}, 0, MNode (0, {0}, 0, 0, 0), MNode (2, {20}, 0, 0, 0)), MNode (5, {50}, 0, MNode (4, {40}, 0, 0, 0), MNode (6, {60}, 0, 0, 0))), MNode (11, {110}, 0, MNode (9, {90}, 0, MNode (8, {80}, 0, 0, 0), MNode (10, {100}, 0, 0, 0)), MNode (13, {130}, 0, MNode (12, {120}, 0, 0, 0), MNode (14, {140}, 0, 0, 0)))), MNode (23, {230}, 0, MNode (19, {190}, 0, MNode (17, {170}, 0, MNode (16, {160}, 0, 0, 0), MNode (18, {180}, 0, 0, 0)), MNode (21, {210}, 0, MNode (20, {200}, 0, 0, 0), MNode (22, {220}, 0, 0, 0))), MNode (27, {270}, 0, MNode (25, {250}, 0, MNode (24, {240}, 0, 0, 0), MNode (26, {260}, 0, 0, 0)), MNode (29, {290}, 0, MNode (28, {280}, 0, 0, 0), MNode (30, {300}, 0, 0, 0))))), MNode (47, {470}, 0, MNode (39, {390}, 0, MNode (35, {350}, 0, MNode (33, {330}, 0, MNode (32, {320}, 0, 0, 0), MNode (34, {340}, 0, 0, 0)), MNode (37, {370}, 0, MNode (36, {360}, 0, 0, 0), MNode (38, {380}, 0, 0, 0))), MNode (43, {430}, 0, MNode (41, {410}, 0, MNode (40, {400}, 0, 0, 0), MNode (42, {420}, 0, 0, 0)), MNode (45, {450}, 0, MNode (44, {440}, 0, 0, 0), MNode (46, {460}, 0, 0, 0)))), MNode (55, 0, 0, MNode (51, 0, 0, MNode (49, {490}, 0, MNode (48, {480}, 0, 0, 0), MNode (50, 0, 0, 0, 0)), MNode (53, 0, 0, MNode (52, 0, 0, 0, 0), MNode (54, 0, 0, 0, 0))), MNode (59, 0, 0, MNode (57, 0, 0, MNode (56, 0, 0, 0, 0), MNode (58, 0, 0, 0, 0)), MNode (61, 0, 0, MNode (60, 0, 0, 0, 0), MNode (62, 0, 0, 0, 0)))))), MNode (79, 0, -1, MNode (71, 0, 0, MNode (67, 0, 0, MNode (65, 0, 0, MNode (64, 0, 0, 0, 0), MNode (66, 0, 0, 0, 0)), MNode (69, 0, 0, MNode (68, 0, 0, 0, 0), MNode (70, 0, 0, 0, 0))), MNode (75, 0, 0, MNode (73, 0, 0, MNode (72, 0, 0, 0, 0), MNode (74, 0, 0, 0, 0)), MNode (77, 0, 0, MNode (76, 0, 0, 0, 0), MNode (78, 0, 0, 0, 0)))), MNode (87, 0, -1, MNode (83, 0, 0, MNode (81, 0, 0, MNode (80, 0, 0, 0, 0), MNode (82, 0, 0, 0, 0)), MNode (85, 0, 0, MNode (84, 0, 0, 0, 0), MNode (86, 0, 0, 0, 0))), MNode (95, 0, 0, MNode (91, 0, 0, MNode (89, 0, 0, MNode (88, 0, 0, 0, 0), MNode (90, 0, 0, 0, 0)), MNode (93, 0, 0, MNode (92, 0, 0, 0, 0), MNode (94, 0, 0, 0, 0))), MNode (97, 0, -1, MNode (96, 0, 0, 0, 0), MNode (98, 0, -1, 0, MNode (99, 0, 0, 0, 0))))))) + Map elements: {[0, 0], [1, 10], [2, 20], [3, 30], [4, 40], [5, 50], [6, 60], [7, 70], [8, 80], [9, 90], [10, 100], [11, 110], [12, 120], [13, 130], [14, 140], [15, 150], [16, 160], [17, 170], [18, 180], [19, 190], [20, 200], [21, 210], [22, 220], [23, 230], [24, 240], [25, 250], [26, 260], [27, 270], [28, 280], [29, 290], [30, 300], [31, 310], [32, 320], [33, 330], [34, 340], [35, 350], [36, 360], [37, 370], [38, 380], [39, 390], [40, 400], [41, 410], [42, 420], [43, 430], [44, 440], [45, 450], [46, 460], [47, 470], [48, 480], [49, 490]} + Testing 0 => Some (0) + Testing 1 => Some (10) + Testing 2 => Some (20) + Testing 3 => Some (30) + Testing 4 => Some (40) + Testing 5 => Some (50) + Testing 6 => Some (60) + Testing 7 => Some (70) + Testing 8 => Some (80) + Testing 9 => Some (90) + Testing 10 => Some (100) + Testing 11 => Some (110) + Testing 12 => Some (120) + Testing 13 => Some (130) + Testing 14 => Some (140) + Testing 15 => Some (150) + Testing 16 => Some (160) + Testing 17 => Some (170) + Testing 18 => Some (180) + Testing 19 => Some (190) + Testing 20 => Some (200) + Testing 21 => Some (210) + Testing 22 => Some (220) + Testing 23 => Some (230) + Testing 24 => Some (240) + Testing 25 => Some (250) + Testing 26 => Some (260) + Testing 27 => Some (270) + Testing 28 => Some (280) + Testing 29 => Some (290) + Testing 30 => Some (300) + Testing 31 => Some (310) + Testing 32 => Some (320) + Testing 33 => Some (330) + Testing 34 => Some (340) + Testing 35 => Some (350) + Testing 36 => Some (360) + Testing 37 => Some (370) + Testing 38 => Some (380) + Testing 39 => Some (390) + Testing 40 => Some (400) + Testing 41 => Some (410) + Testing 42 => Some (420) + Testing 43 => Some (430) + Testing 44 => Some (440) + Testing 45 => Some (450) + Testing 46 => Some (460) + Testing 47 => Some (470) + Testing 48 => Some (480) + Testing 49 => Some (490) + Testing 50 => None + Testing 51 => None + Testing 52 => None + Testing 53 => None + Testing 54 => None + Testing 55 => None + Testing 56 => None + Testing 57 => None + Testing 58 => None + Testing 59 => None + Testing 60 => None + Testing 61 => None + Testing 62 => None + Testing 63 => None + Testing 64 => None + Testing 65 => None + Testing 66 => None + Testing 67 => None + Testing 68 => None + Testing 69 => None + Testing 70 => None + Testing 71 => None + Testing 72 => None + Testing 73 => None + Testing 74 => None + Testing 75 => None + Testing 76 => None + Testing 77 => None + Testing 78 => None + Testing 79 => None + Testing 80 => None + Testing 81 => None + Testing 82 => None + Testing 83 => None + Testing 84 => None + Testing 85 => None + Testing 86 => None + Testing 87 => None + Testing 88 => None + Testing 89 => None + Testing 90 => None + Testing 91 => None + Testing 92 => None + Testing 93 => None + Testing 94 => None + Testing 95 => None + Testing 96 => None + Testing 97 => None + Testing 98 => None + Testing 99 => None + List map: MNode (2, {20}, -1, MNode (1, {10}, 0, 0, 0), MNode (4, {40}, 0, MNode (3, {30}, 0, 0, 0), MNode (5, {50}, 0, 0, 0))) diff --git a/stdlib/regression/test05.t b/stdlib/regression/test05.t new file mode 100644 index 000000000..800e89773 --- /dev/null +++ b/stdlib/regression/test05.t @@ -0,0 +1,14 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test05.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Cached: 1 + Cached: 1 + Cached: 1 + Cached: 1 + Cached: 1 + Cached: 1 + Cached: 1 + Cached: 1 + Cached: 1 diff --git a/stdlib/regression/test06.t b/stdlib/regression/test06.t new file mode 100644 index 000000000..69841c6b4 --- /dev/null +++ b/stdlib/regression/test06.t @@ -0,0 +1,12 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test06.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Flattening: 0 + Flattening: {0, 0, 0, 0} + Flattening: 0 + Flattening: {1, 2, 3} + Flattening: {1, 2, 3, 4, 5, 6, 7, 8, 9} + List to array: [1, 2, 3, 4, 5] + Array to list: {1, 2, 3, 4, 5} diff --git a/stdlib/regression/test07.t b/stdlib/regression/test07.t new file mode 100644 index 000000000..82d280a77 --- /dev/null +++ b/stdlib/regression/test07.t @@ -0,0 +1,11 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test07.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + HashTab internal structure: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, {[{1, 2, 3}, 100]}, 0, 0, 0] + HashTab internal structure: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, {[{1, 2, 3}, 200], [{1, 2, 3}, 100]}, 0, 0, 0] + Searching: Some (200) + Searching: Some (200) + Replaced: Some (800) + Restored: Some (200) diff --git a/stdlib/regression/test08.t b/stdlib/regression/test08.t new file mode 100644 index 000000000..b8eeaa3b2 --- /dev/null +++ b/stdlib/regression/test08.t @@ -0,0 +1,8 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test08.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + 6 + 120 + 5040 diff --git a/stdlib/regression/test09.t b/stdlib/regression/test09.t new file mode 100644 index 000000000..a1de77a28 --- /dev/null +++ b/stdlib/regression/test09.t @@ -0,0 +1,10 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test09.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Parsing a*| against "aa"... Succ ({"a", "a"}) + Parsing a+| against "aa"... Succ ({"a", "a"}) + Parsing list(a)| against "a"... Succ ({"a"}) + Parsing list(a)| against "a,a"... Succ ({"a", "a"}) + Parsing list0(a)| against ""... Succ (0) diff --git a/stdlib/regression/test10.t b/stdlib/regression/test10.t new file mode 100644 index 000000000..9afaea8e7 --- /dev/null +++ b/stdlib/regression/test10.t @@ -0,0 +1,7 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test10.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Parsing "aaa" with many ... Succ ({"a", "a", "a"}) + Parsing "ab" with bad_alter ... Succ ("ab") diff --git a/stdlib/regression/test11.t b/stdlib/regression/test11.t new file mode 100644 index 000000000..1df7b0a3b --- /dev/null +++ b/stdlib/regression/test11.t @@ -0,0 +1,11 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test11.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Succ ("a") + Succ (Add ("a", "a")) + Succ (Sub ("a", "a")) + Succ (Sub (Add ("a", "a"), "a")) + Succ (Add ("a", Mul ("a", "a"))) + Succ (Sub (Mul ("a", "a"), Div ("a", "a"))) diff --git a/stdlib/regression/test12.t b/stdlib/regression/test12.t new file mode 100644 index 000000000..2cb0057a0 --- /dev/null +++ b/stdlib/regression/test12.t @@ -0,0 +1,6 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test12.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Succ (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul (Mul ("a", "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a"), "a")) diff --git a/stdlib/regression/test13.t b/stdlib/regression/test13.t new file mode 100644 index 000000000..c8c7e9644 --- /dev/null +++ b/stdlib/regression/test13.t @@ -0,0 +1,8 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test13.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Succ (Add ("a", Sub ("a", "a"))) + Succ (Mul (Div (Mul ("a", "a"), "a"), "a")) + Succ (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a")))) diff --git a/stdlib/regression/test14.t b/stdlib/regression/test14.t new file mode 100644 index 000000000..14f3f4f32 --- /dev/null +++ b/stdlib/regression/test14.t @@ -0,0 +1,8 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test14.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Succ (Add ("a", Sub ("a", "a"))) + Succ (Mul (Div (Mul ("a", "a"), "a"), "a")) + Succ (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a")))) diff --git a/stdlib/regression/test15.t b/stdlib/regression/test15.t new file mode 100644 index 000000000..50207a808 --- /dev/null +++ b/stdlib/regression/test15.t @@ -0,0 +1,9 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test15.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Succ (Eq ("a", "a")) + Succ (Eq (Mul ("a", "a"), Mul ("a", "a"))) + Succ (Eq (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a"))), Sub (Mul ("a", "a"), "a"))) + Fail ({""*" expected at"}, 1, 2) diff --git a/stdlib/regression/test16.t b/stdlib/regression/test16.t new file mode 100644 index 000000000..7045f2b87 --- /dev/null +++ b/stdlib/regression/test16.t @@ -0,0 +1,11 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test16.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Succ (Eq ("a", "a")) + Succ (Eq ("b", "b")) + Succ (Eq (Mul ("a", "a"), Mul ("a", "a"))) + Succ (Eq (Mul ("b", "b"), Mul ("b", "b"))) + Succ (Eq (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a"))), Sub (Mul ("a", "a"), "a"))) + Succ (Eq (Add (Mul ("b", "b"), Sub (Div ("b", "b"), Mul ("b", "b"))), Sub (Mul ("b", "b"), "b"))) diff --git a/stdlib/regression/test17.t b/stdlib/regression/test17.t new file mode 100644 index 000000000..0884e2464 --- /dev/null +++ b/stdlib/regression/test17.t @@ -0,0 +1,17 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test17.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Lazy body: 0 + Lazy body: 1 + Lazy body: 2 + Lazy body: 3 + Lazy body: 4 + Lazy body: 5 + Lazy body: 6 + Lazy body: 7 + Lazy body: 8 + Lazy body: 9 + First force: 100 + Second force: 100 diff --git a/stdlib/regression/test18.t b/stdlib/regression/test18.t new file mode 100644 index 000000000..6966aeb4b --- /dev/null +++ b/stdlib/regression/test18.t @@ -0,0 +1,37 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test18.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + 1 =?= 1 = 0 + symmetricity: ok + 1 =?= 10 = -1 + symmetricity: ok + "abc" =?= "abc" = 0 + symmetricity: ok + "abc" =?= "def" = -1 + symmetricity: ok + 1 =?= "abc" = 1 + symmetricity: ok + S (1) =?= S (1) = 0 + symmetricity: ok + S (2) =?= S (1) = 1 + symmetricity: ok + S (1, 2, 3) =?= S (1, 3, 2) = -1 + symmetricity: ok + S (1, 2, 3) =?= D (5, 6) = 1 + symmetricity: ok + 1 =?= S (5) = 1 + symmetricity: ok + "abs" =?= S (5, 6) = -1 + symmetricity: ok + [1, 2, 3] =?= S (1, 2, 3) = -1 + symmetricity: ok + "abc" =?= [1, 2, 3] = -1 + symmetricity: ok + 1 =?= [1, 2, 3] = 1 + symmetricity: ok + 0 + 0 + 0 + 0 diff --git a/stdlib/regression/test20.t b/stdlib/regression/test20.t new file mode 100644 index 000000000..6093ea6ce --- /dev/null +++ b/stdlib/regression/test20.t @@ -0,0 +1,17 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test20.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Empty + Node (0, Empty, Empty) + Node (0, Empty, Node (1, Empty, Empty)) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Empty))) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Empty)))) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Empty))))) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Empty)))))) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Empty))))))) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Node (7, Empty, Empty)))))))) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Node (7, Empty, Node (8, Empty, Empty))))))))) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Node (7, Empty, Node (8, Empty, Node (9, Empty, Empty)))))))))) + Node (0, Empty, Node (1, Empty, Node (2, Empty, Node (3, Empty, Node (4, Empty, Node (5, Empty, Node (6, Empty, Node (7, Empty, Node (8, Empty, Node (9, Empty, Node (10, Empty, Empty))))))))))) diff --git a/stdlib/regression/test21.t b/stdlib/regression/test21.t new file mode 100644 index 000000000..cbe8fa061 --- /dev/null +++ b/stdlib/regression/test21.t @@ -0,0 +1,14 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test21.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + 1 + 1 + 1 + 1 + 1 + 2 + 3 + 100 + Cons (3, Cons (2, Cons (1, Cons (6, Cons (5, Cons (4, Cons (3, Cons (2, Cons (1, Nil))))))))) diff --git a/stdlib/regression/test22.t b/stdlib/regression/test22.t new file mode 100644 index 000000000..302c8b42e --- /dev/null +++ b/stdlib/regression/test22.t @@ -0,0 +1,9 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test22.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + 0 + {1, 2, 3, 4} + {{1}, {2, 3}, {4, {5, 6}}} + {1, 2, 3, 4} diff --git a/stdlib/regression/test23.t b/stdlib/regression/test23.t new file mode 100644 index 000000000..e32d2cda0 --- /dev/null +++ b/stdlib/regression/test23.t @@ -0,0 +1,8 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test23.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + 1 + {2, 3, 4} + 2 diff --git a/stdlib/regression/test24.t b/stdlib/regression/test24.t new file mode 100644 index 000000000..ba7a813b2 --- /dev/null +++ b/stdlib/regression/test24.t @@ -0,0 +1,8 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test24.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + 3 + {1} + {1} diff --git a/stdlib/regression/test25.t b/stdlib/regression/test25.t new file mode 100644 index 000000000..7eba62fa7 --- /dev/null +++ b/stdlib/regression/test25.t @@ -0,0 +1,10 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test25.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Cloning int: 5 + Cloning string: abc + Cloning array: [1, 2, 3, 4, 5] + Cloning sexp: A (1, 2, 3, 4, 5) + Cloning closure: address ok, 5, 6 diff --git a/stdlib/regression/test26.t b/stdlib/regression/test26.t new file mode 100644 index 000000000..19d7efaba --- /dev/null +++ b/stdlib/regression/test26.t @@ -0,0 +1,7 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test26.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Number of commands-line arguments: 1 + arg [0 ] = "./test" diff --git a/stdlib/regression/test27.t b/stdlib/regression/test27.t new file mode 100644 index 000000000..681f8fe00 --- /dev/null +++ b/stdlib/regression/test27.t @@ -0,0 +1,6 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test27.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Yes diff --git a/stdlib/regression/test28.t b/stdlib/regression/test28.t new file mode 100644 index 000000000..046c9013c --- /dev/null +++ b/stdlib/regression/test28.t @@ -0,0 +1,9 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test28.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Succ (Seq ("a", "b")) + Succ (Alt ("a")) + Succ (Alt ("b")) + Succ (Rep ({"a", "a", "a"})) diff --git a/stdlib/regression/test29.t b/stdlib/regression/test29.t new file mode 100644 index 000000000..817c348bb --- /dev/null +++ b/stdlib/regression/test29.t @@ -0,0 +1,9 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test29.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Succ (Seq ("a", "b")) + Succ (Alt ("a")) + Succ (Alt ("b")) + Succ (Rep ({"a", "a", "a"})) diff --git a/stdlib/regression/test32.t b/stdlib/regression/test32.t new file mode 100644 index 000000000..b960de917 --- /dev/null +++ b/stdlib/regression/test32.t @@ -0,0 +1,7 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test32.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + Flattening: 0 + Flattening: {A, B, C, D} diff --git a/stdlib/regression/test33.t b/stdlib/regression/test33.t new file mode 100644 index 000000000..396e040bd --- /dev/null +++ b/stdlib/regression/test33.t @@ -0,0 +1,7 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test33.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + {}.string: 0 + {}.stringcat: diff --git a/stdlib/regression/test34.t b/stdlib/regression/test34.t new file mode 100644 index 000000000..bf7a37ba0 --- /dev/null +++ b/stdlib/regression/test34.t @@ -0,0 +1,7 @@ +This file was autogenerated. + $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test34.lama -o test + /usr/bin/ld: warning: printf.o: missing .note.GNU-stack section implies executable stack + /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker + $ ./test + ' " ` % \ \r + \h @ $ # ; [ ]