From 42e98759a60ece2e7ced073255fb26492a4535b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Fri, 15 Jan 2021 17:05:17 +0100
Subject: factorial test

---
 tests/fun.tdy | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'tests/fun.tdy')

diff --git a/tests/fun.tdy b/tests/fun.tdy
index ea034a9..8011369 100644
--- a/tests/fun.tdy
+++ b/tests/fun.tdy
@@ -55,3 +55,13 @@ f5_inner := fn -> int {
     ret 1
 }
 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
-- 
cgit v1.2.1