Add tests covering remaining failing coercions.

silq-lang · Apr 6, 2023 · 053a329 · 053a329
1 parent b5561b1
commit 053a329
Show file tree

Hide file tree

Showing 4 changed files with 28 additions and 0 deletions.
diff --git a/test/coerceIntLengthMismatch.slq b/test/coerceIntLengthMismatch.slq
@@ -0,0 +1,7 @@
+
+def main(){
+	n:=2,m:=3;
+	x:=0:int[n];
+	y:=x coerce int[m]; // error
+	// (need to go through vector)
+}
diff --git a/test/coerceIntToVecLengthMismatch.slq b/test/coerceIntToVecLengthMismatch.slq
@@ -0,0 +1,6 @@
+
+def main(){
+	n:=2,m:=3;
+	x:=0:int[n];
+	y:=x coerce 𝔹^m; // TODO: crash at runtime
+}
diff --git a/test/coerceVecToIntLengthMismatch.slq b/test/coerceVecToIntLengthMismatch.slq
@@ -0,0 +1,7 @@
+// args: --run
+
+def main(){
+	n:=2,m:=3;
+	x:=vector(n,0:𝔹);
+	y:=x coerce int[m]; // error
+}
diff --git a/test/coerceVectorLengthMismatch.slq b/test/coerceVectorLengthMismatch.slq
@@ -0,0 +1,8 @@
+// args: --run
+
+def main(){
+	n:=2;
+	x:=vector(n,0:!𝔹);
+	m:=3;
+	y:=x coerce !𝔹^m; // error
+}