diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2021-01-15 17:05:17 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2021-01-15 17:05:17 +0100 |
| commit | 42e98759a60ece2e7ced073255fb26492a4535b3 (patch) | |
| tree | 88f8e06bed6fa7dbbec3a06d31adc8cd00d3a6f9 /tests | |
| parent | 3d51ddb2cb6c521bcf2d7da24bdb692a299b979c (diff) | |
| download | sylt-42e98759a60ece2e7ced073255fb26492a4535b3.tar.gz | |
factorial test
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/fun.tdy | 10 |
1 files changed, 10 insertions, 0 deletions
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 |