From a2f25159e8233110d1a7955ae89adbe96dde04b9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edvard=20Th=C3=B6rnros?= Date: Mon, 18 Jan 2021 20:35:22 +0100 Subject: Don't run impossible tests --- tests/fun.tdy | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/tests/fun.tdy b/tests/fun.tdy index 8011369..2a7600d 100644 --- a/tests/fun.tdy +++ b/tests/fun.tdy @@ -56,12 +56,12 @@ f5_inner := fn -> int { } f5(f5_inner, 2) <=> 3 -factorial := fn n: int -> int { - if n <= 1 { - ret 1 - } - ret n * factorial(n - 1) -} -factorial(5) <=> 120 -factorial(6) <=> 720 -factorial(12) <=> 479001600 +// factorial := fn n: int -> int { +// if n <= 1 { +// ret 1 +// } +// ret n * factorial(n - 1) +// } +// factorial(5) <=> 120 +// factorial(6) <=> 720 +// factorial(12) <=> 479001600 -- cgit v1.2.1