From 995e2d3a43103826358fb4446caeccda5b7bb9f7 Mon Sep 17 00:00:00 2001
From: Romain Paquet <rpqt@rpqt.fr>
Date: Wed, 5 Nov 2025 20:22:54 +0100
Subject: [PATCH] test: split failing tests in multiple files

---
 examples/failing/type/add_int_and_float.lila     |  3 +++
 examples/failing/type/add_int_expect_float.lila  |  3 +++
 examples/failing/type/addition.lila              | 16 ----------------
 examples/failing/type/early_return_mismatch.lila |  4 ++++
 .../failing/type/return_int_instead_of_unit.lila |  3 +++
 5 files changed, 13 insertions(+), 16 deletions(-)
 create mode 100644 examples/failing/type/add_int_and_float.lila
 create mode 100644 examples/failing/type/add_int_expect_float.lila
 delete mode 100644 examples/failing/type/addition.lila
 create mode 100644 examples/failing/type/early_return_mismatch.lila
 create mode 100644 examples/failing/type/return_int_instead_of_unit.lila

diff --git a/examples/failing/type/add_int_and_float.lila b/examples/failing/type/add_int_and_float.lila
new file mode 100644
index 0000000..416fa4e
--- /dev/null
+++ b/examples/failing/type/add_int_and_float.lila
@@ -0,0 +1,3 @@
+fn add_int_and_float(a: int, b: float) int {
+	a + b
+}
diff --git a/examples/failing/type/add_int_expect_float.lila b/examples/failing/type/add_int_expect_float.lila
new file mode 100644
index 0000000..639a51c
--- /dev/null
+++ b/examples/failing/type/add_int_expect_float.lila
@@ -0,0 +1,3 @@
+fn add_int_expect_float(a: int, b: int) float {
+	a + b
+}
diff --git a/examples/failing/type/addition.lila b/examples/failing/type/addition.lila
deleted file mode 100644
index 09f58fc..0000000
--- a/examples/failing/type/addition.lila
+++ /dev/null
@@ -1,16 +0,0 @@
-fn add(a: int, b: float) int {
-	a + b
-}
-
-fn add2(a: int, b: int) float {
-	a + b
-}
-
-fn add3(a: int, b: float) int {
-	return b;
-	a
-}
-
-fn add4(a: int, b: int) {
-	a
-}
diff --git a/examples/failing/type/early_return_mismatch.lila b/examples/failing/type/early_return_mismatch.lila
new file mode 100644
index 0000000..54b1528
--- /dev/null
+++ b/examples/failing/type/early_return_mismatch.lila
@@ -0,0 +1,4 @@
+fn return_float_early_instead_of_int(a: int, b: float) int {
+	return b;
+	a
+}
diff --git a/examples/failing/type/return_int_instead_of_unit.lila b/examples/failing/type/return_int_instead_of_unit.lila
new file mode 100644
index 0000000..334a2a3
--- /dev/null
+++ b/examples/failing/type/return_int_instead_of_unit.lila
@@ -0,0 +1,3 @@
+fn return_int_instead_of_unit(a: int) {
+	a
+}