diff options
| author | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-01-18 20:35:22 +0100 |
|---|---|---|
| committer | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-01-18 20:35:22 +0100 |
| commit | a2f25159e8233110d1a7955ae89adbe96dde04b9 (patch) | |
| tree | 1c9d546a6a62ea97d6b0975e42b0b0bbf24ada41 /tests/fun.tdy | |
| parent | e84d99376ba669c41b38a8750f0b4411ac5d57dc (diff) | |
| download | sylt-a2f25159e8233110d1a7955ae89adbe96dde04b9.tar.gz | |
Don't run impossible tests
Diffstat (limited to 'tests/fun.tdy')
| -rw-r--r-- | tests/fun.tdy | 18 |
1 files 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 |