From 9c0a3042d555f5ed9a1b8b2eea2bcffe68738315 Mon Sep 17 00:00:00 2001
From: Romain Paquet <rpqt@rpqt.fr>
Date: Wed, 3 Jul 2024 20:00:42 +0200
Subject: [PATCH] add example sources failing syntax and typing

---
 examples/failing/syntax/addition.lila |  3 +++
 examples/failing/type/addition.lila   | 16 ++++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 examples/failing/syntax/addition.lila
 create mode 100644 examples/failing/type/addition.lila

diff --git a/examples/failing/syntax/addition.lila b/examples/failing/syntax/addition.lila
new file mode 100644
index 0000000..6abd51e
--- /dev/null
+++ b/examples/failing/syntax/addition.lila
@@ -0,0 +1,3 @@
+fn add(a: int, b: int) int {
+	a +
+}
diff --git a/examples/failing/type/addition.lila b/examples/failing/type/addition.lila
new file mode 100644
index 0000000..09f58fc
--- /dev/null
+++ b/examples/failing/type/addition.lila
@@ -0,0 +1,16 @@
+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
+}