aboutsummaryrefslogtreecommitdiffstats
path: root/progs/tests/auto/wrong_params.sy
diff options
context:
space:
mode:
authorGustav Sörnäs <gustav@sornas.net>2021-03-05 19:07:13 +0100
committerGustav Sörnäs <gustav@sornas.net>2021-03-05 19:07:13 +0100
commit2570830850c6dadadc2c86bf9d6f3203c9aba488 (patch)
treef6d00459337da26261c16e39cb4241be6441bfb4 /progs/tests/auto/wrong_params.sy
parent9d0a930d811b825b39ee16614e645b6934130cc1 (diff)
downloadsylt-2570830850c6dadadc2c86bf9d6f3203c9aba488.tar.gz
convert tests to files
Diffstat (limited to 'progs/tests/auto/wrong_params.sy')
-rw-r--r--progs/tests/auto/wrong_params.sy7
1 files changed, 7 insertions, 0 deletions
diff --git a/progs/tests/auto/wrong_params.sy b/progs/tests/auto/wrong_params.sy
new file mode 100644
index 0000000..6b56e90
--- /dev/null
+++ b/progs/tests/auto/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)]