harec

commit 268cd3286197a84ddb631140b5f249d2bf240cef
parent 4a488a47776df4a4f811a6869b779ce18f27b0fd
Author: Eyal Sawady <ecs@d2evs.net>
Date:   Wed,  3 Feb 2021 18:40:41 -0500

Add append tests

Diffstat:
A
tests/19-append.ha
 | 
51
+++++++++++++++++++++++++++++++++++++++++++++++++++
M
tests/configure
 | 
3
++-

2 files changed, 53 insertions(+), 1 deletion(-)
diff --git a/tests/19-append.ha b/tests/19-append.ha
@@ -0,0 +1,51 @@
+use rt;
+
+fn simple() void = {
+	let x = alloc([]int, [1, 2, 3], 6z);
+	append(x, 4, 5, 6);
+	assert(len(x) == 6z);
+	assert(x[0] == 1 && x[1] == 2 && x[2] == 3 && x[3] == 4 && x[4] == 5);
+	assert(x[5] == 6);
+	append(x, 7, 8, 9);
+	assert(x[0] == 1 && x[1] == 2 && x[2] == 3 && x[3] == 4 && x[4] == 5);
+	assert(x[5] == 6 && x[6] == 7 && x[7] == 8 && x[8] == 9);
+
+	let y = alloc([][]int, [[1]], 1z);
+	let z = [2, 3, 4];
+	append(y, ...y);
+	append(y, z);
+	assert(len(y) == 3z);
+	assert(len(y[0]) == 1z && len(y[1]) == 1z && len(y[2]) == 3z);
+	assert(y[0][0] == 1);
+	assert(y[1][0] == 1);
+	assert(y[2][0] == 2 && y[2][1] == 3 && y[2][2] == 4);
+	free(x);
+	free(y);
+};
+
+fn variadic() void = {
+	let x = alloc([]int, [1, 2], 2z);
+	append(x, 4, ...[8, 16, 32, 64]);
+	assert(len(x) == 7z);
+	assert(x[0] == 1 && x[1] == 2 && x[2] == 4 && x[3] == 8 && x[4] == 16);
+	assert(x[5] == 32 && x[6] == 64);
+
+	let y = alloc([]int, [1, 2, 3], 3z);
+	let z = [128, 256];
+	append(y, ...x);
+	append(y, ...z);
+	assert(len(y) == 12z);
+	assert(y[0] == 1 && y[1] == 2 && y[2] == 3 && y[3] == 1 && y[4] == 2);
+	assert(y[5] == 4 && y[6] == 8 && y[7] == 16 && y[8] == 32);
+	assert(y[9] == 64 && y[10] == 128 && y[11] == 256);
+	free(x);
+	free(y);
+};
+
+export fn main() void = {
+	simple();
+	variadic();
+
+	assert(rt::compile("fn test() void = append([1], 2);") != 0);
+	assert(rt::compile("fn test() void = { let x = alloc([]int, [1], 1z); append(x[..], 2); };") != 0);
+};
diff --git a/tests/configure b/tests/configure
@@ -21,7 +21,8 @@ tests() {
 		15-enums \
 		16-defer \
 		17-alloc \
-		18-match
+		18-match \
+		19-append
 	do
 		cat <<EOF
 tests/$t: libhart.a tests/$t.ha