From 6f75134474b88a373a18a324ab70418defe32df7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Fri, 16 Feb 2018 01:09:21 +0100 Subject: [PATCH] Add test rec_factorial (computes 7!) -- fails --- src/tests/rec_factorial.exp | 1 + src/tests/rec_factorial.lambda | 9 +++++++++ 2 files changed, 10 insertions(+) create mode 100644 src/tests/rec_factorial.exp create mode 100644 src/tests/rec_factorial.lambda diff --git a/src/tests/rec_factorial.exp b/src/tests/rec_factorial.exp new file mode 100644 index 0000000..89810b1 --- /dev/null +++ b/src/tests/rec_factorial.exp @@ -0,0 +1 @@ +5040 diff --git a/src/tests/rec_factorial.lambda b/src/tests/rec_factorial.lambda new file mode 100644 index 0000000..b47bfc2 --- /dev/null +++ b/src/tests/rec_factorial.lambda @@ -0,0 +1,9 @@ +let rec fact = fun n -> + ifzero n then + 1 + else + let sub_val = fact (n - 1) in + n * sub_val + in + +print (fact 7)