From 27940d80de0fa6e817013955021230698535991e Mon Sep 17 00:00:00 2001 From: Danila-Pechenev Date: Wed, 15 Nov 2023 21:09:35 +0300 Subject: [PATCH] Add one more test --- PeDuCoML/test/defunc/defunc_test.t | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/PeDuCoML/test/defunc/defunc_test.t b/PeDuCoML/test/defunc/defunc_test.t index 8793fc86..ea495710 100644 --- a/PeDuCoML/test/defunc/defunc_test.t +++ b/PeDuCoML/test/defunc/defunc_test.t @@ -183,3 +183,10 @@ > EOF let f arg_4 arg_5 = match arg_5 with | x, y -> match arg_4 with | head :: tail -> ((x + y) + head) :: tail let main = (f ([1; 2; 3])) (5, 10) + $ ./defunc_test.exe <<- EOF + > let f (arg_5 :: arg_4) (x, y) = (x + y + arg_5) :: arg_4 + > + > let main = f [1; 2; 3] (5, 10) + > EOF + let f arg_6 arg_7 = match arg_7 with | x, y -> match arg_6 with | arg_5 :: arg_4 -> ((x + y) + arg_5) :: arg_4 + let main = (f ([1; 2; 3])) (5, 10)