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/calls_inside_calls.sy | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 progs/tests/auto/calls_inside_calls.sy (limited to 'progs/tests/auto/calls_inside_calls.sy') diff --git a/progs/tests/auto/calls_inside_calls.sy b/progs/tests/auto/calls_inside_calls.sy deleted file mode 100644 index 5f6716b..0000000 --- a/progs/tests/auto/calls_inside_calls.sy +++ /dev/null @@ -1,11 +0,0 @@ -start :: fn { - one := fn -> int { - ret 1 - } - add := fn a: int, b: int -> int { - ret a + b - } - add(one(), one()) <=> 2 - add(add(one(), one()), one()) <=> 3 - add(one(), add(one(), one())) <=> 3 -} -- cgit v1.2.1