From 50d6472d56091d0fece3fb87837a3931215603e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Sun, 7 Mar 2021 17:47:31 +0100
Subject: move the tests

---
 progs/tests/wrong_params.sy | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 progs/tests/wrong_params.sy

(limited to 'progs/tests/wrong_params.sy')

diff --git a/progs/tests/wrong_params.sy b/progs/tests/wrong_params.sy
new file mode 100644
index 0000000..e49e89b
--- /dev/null
+++ b/progs/tests/wrong_params.sy
@@ -0,0 +1,7 @@
+start :: fn {
+
+    f : fn -> int = fn a: int -> int {}
+    f
+}
+
+// errors: [ErrorKind::TypeMismatch(_, _), ErrorKind::TypeMismatch(Type::Void, Type::Int)]
-- 
cgit v1.2.1