From 3ca59d697501417573a1765a5950b98842db2876 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Fri, 16 Feb 2018 15:29:58 +0100 Subject: [PATCH] Add test for redefinition of variables --- src/tests/redef.exp | 1 + src/tests/redef.lambda | 6 ++++++ 2 files changed, 7 insertions(+) create mode 100644 src/tests/redef.exp create mode 100644 src/tests/redef.lambda diff --git a/src/tests/redef.exp b/src/tests/redef.exp new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/src/tests/redef.exp @@ -0,0 +1 @@ +42 diff --git a/src/tests/redef.lambda b/src/tests/redef.lambda new file mode 100644 index 0000000..7d6f1f8 --- /dev/null +++ b/src/tests/redef.lambda @@ -0,0 +1,6 @@ +let increase = fun x -> x + 1 in +let increase = fun x -> + let lop = (increase x) in + lop + 1 in + +print (increase 40)