From 50d6472d56091d0fece3fb87837a3931215603e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= Date: Sun, 7 Mar 2021 17:47:31 +0100 Subject: move the tests --- progs/tests/auto/wrong_params.sy | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 progs/tests/auto/wrong_params.sy (limited to 'progs/tests/auto/wrong_params.sy') diff --git a/progs/tests/auto/wrong_params.sy b/progs/tests/auto/wrong_params.sy deleted file mode 100644 index e49e89b..0000000 --- a/progs/tests/auto/wrong_params.sy +++ /dev/null @@ -1,7 +0,0 @@ -start :: fn { - - f : fn -> int = fn a: int -> int {} - f -} - -// errors: [ErrorKind::TypeMismatch(_, _), ErrorKind::TypeMismatch(Type::Void, Type::Int)] -- cgit v1.2.1