blob: c55de67b525d1b7aec60463e39a3c05e731aa1cb [file] [log] [blame]
Bram Moolenaar10ce39a2016-07-29 22:37:06 +02001" Test for lambda and closure
2
Bram Moolenaar1e115362019-01-09 23:01:02 +01003func Test_lambda_feature()
Bram Moolenaar9532fe72016-07-29 22:50:35 +02004 call assert_equal(1, has('lambda'))
Bram Moolenaar1e115362019-01-09 23:01:02 +01005endfunc
Bram Moolenaar9532fe72016-07-29 22:50:35 +02006
Bram Moolenaar1e115362019-01-09 23:01:02 +01007func Test_lambda_with_filter()
Bram Moolenaar069c1e72016-07-15 21:25:08 +02008 let s:x = 2
9 call assert_equal([2, 3], filter([1, 2, 3], {i, v -> v >= s:x}))
Bram Moolenaar1e115362019-01-09 23:01:02 +010010endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020011
Bram Moolenaar1e115362019-01-09 23:01:02 +010012func Test_lambda_with_map()
Bram Moolenaar069c1e72016-07-15 21:25:08 +020013 let s:x = 1
14 call assert_equal([2, 3, 4], map([1, 2, 3], {i, v -> v + s:x}))
Bram Moolenaar1e115362019-01-09 23:01:02 +010015endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020016
Bram Moolenaar1e115362019-01-09 23:01:02 +010017func Test_lambda_with_sort()
Bram Moolenaar069c1e72016-07-15 21:25:08 +020018 call assert_equal([1, 2, 3, 4, 7], sort([3,7,2,1,4], {a, b -> a - b}))
Bram Moolenaar1e115362019-01-09 23:01:02 +010019endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020020
Bram Moolenaar1e115362019-01-09 23:01:02 +010021func Test_lambda_with_timer()
Bram Moolenaar069c1e72016-07-15 21:25:08 +020022 if !has('timers')
23 return
24 endif
25
26 let s:n = 0
27 let s:timer_id = 0
Bram Moolenaar1e115362019-01-09 23:01:02 +010028 func! s:Foo()
Bram Moolenaar9bc4dde2019-07-24 13:08:29 +020029 let s:timer_id = timer_start(10, {-> execute("let s:n += 1 | echo s:n", "")}, {"repeat": -1})
Bram Moolenaar1e115362019-01-09 23:01:02 +010030 endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020031
32 call s:Foo()
Bram Moolenaar9bc4dde2019-07-24 13:08:29 +020033 " check timer works
34 for i in range(0, 10)
35 if s:n > 0
36 break
37 endif
38 sleep 10m
39 endfor
40
Bram Moolenaar069c1e72016-07-15 21:25:08 +020041 " do not collect lambda
42 call test_garbagecollect_now()
Bram Moolenaar9bc4dde2019-07-24 13:08:29 +020043
44 " check timer still works
Bram Moolenaar069c1e72016-07-15 21:25:08 +020045 let m = s:n
Bram Moolenaar9bc4dde2019-07-24 13:08:29 +020046 for i in range(0, 10)
47 if s:n > m
48 break
49 endif
50 sleep 10m
51 endfor
52
Bram Moolenaar069c1e72016-07-15 21:25:08 +020053 call timer_stop(s:timer_id)
Bram Moolenaar9bc4dde2019-07-24 13:08:29 +020054 call assert_true(s:n > m)
Bram Moolenaar1e115362019-01-09 23:01:02 +010055endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020056
Bram Moolenaar1e115362019-01-09 23:01:02 +010057func Test_lambda_with_partial()
Bram Moolenaar069c1e72016-07-15 21:25:08 +020058 let l:Cb = function({... -> ['zero', a:1, a:2, a:3]}, ['one', 'two'])
59 call assert_equal(['zero', 'one', 'two', 'three'], l:Cb('three'))
Bram Moolenaar1e115362019-01-09 23:01:02 +010060endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020061
62function Test_lambda_fails()
63 call assert_equal(3, {a, b -> a + b}(1, 2))
Bram Moolenaarc0f5a782019-01-13 15:16:13 +010064 call assert_fails('echo {a, a -> a + a}(1, 2)', 'E853:')
Bram Moolenaar069c1e72016-07-15 21:25:08 +020065 call assert_fails('echo {a, b -> a + b)}(1, 2)', 'E15:')
66endfunc
Bram Moolenaar4f0383b2016-07-19 22:43:11 +020067
68func Test_not_lamda()
69 let x = {'>' : 'foo'}
70 call assert_equal('foo', x['>'])
71endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020072
Bram Moolenaar1e115362019-01-09 23:01:02 +010073func Test_lambda_capture_by_reference()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020074 let v = 1
75 let l:F = {x -> x + v}
76 let v = 2
77 call assert_equal(12, l:F(10))
Bram Moolenaar1e115362019-01-09 23:01:02 +010078endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020079
Bram Moolenaar1e115362019-01-09 23:01:02 +010080func Test_lambda_side_effect()
81 func! s:update_and_return(arr)
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020082 let a:arr[1] = 5
83 return a:arr
Bram Moolenaar1e115362019-01-09 23:01:02 +010084 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020085
Bram Moolenaar1e115362019-01-09 23:01:02 +010086 func! s:foo(arr)
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020087 return {-> s:update_and_return(a:arr)}
Bram Moolenaar1e115362019-01-09 23:01:02 +010088 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020089
90 let arr = [3,2,1]
91 call assert_equal([3, 5, 1], s:foo(arr)())
Bram Moolenaar1e115362019-01-09 23:01:02 +010092endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020093
Bram Moolenaar1e115362019-01-09 23:01:02 +010094func Test_lambda_refer_local_variable_from_other_scope()
95 func! s:foo(X)
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020096 return a:X() " refer l:x in s:bar()
Bram Moolenaar1e115362019-01-09 23:01:02 +010097 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020098
Bram Moolenaar1e115362019-01-09 23:01:02 +010099 func! s:bar()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200100 let x = 123
101 return s:foo({-> x})
Bram Moolenaar1e115362019-01-09 23:01:02 +0100102 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200103
104 call assert_equal(123, s:bar())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100105endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200106
Bram Moolenaar1e115362019-01-09 23:01:02 +0100107func Test_lambda_do_not_share_local_variable()
108 func! s:define_funcs()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200109 let l:One = {-> split(execute("let a = 'abc' | echo a"))[0]}
110 let l:Two = {-> exists("a") ? a : "no"}
111 return [l:One, l:Two]
Bram Moolenaar1e115362019-01-09 23:01:02 +0100112 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200113
114 let l:F = s:define_funcs()
115
116 call assert_equal('no', l:F[1]())
117 call assert_equal('abc', l:F[0]())
118 call assert_equal('no', l:F[1]())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100119endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200120
Bram Moolenaar1e115362019-01-09 23:01:02 +0100121func Test_lambda_closure_counter()
122 func! s:foo()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200123 let x = 0
124 return {-> [execute("let x += 1"), x][-1]}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100125 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200126
127 let l:F = s:foo()
128 call test_garbagecollect_now()
129 call assert_equal(1, l:F())
130 call assert_equal(2, l:F())
131 call assert_equal(3, l:F())
132 call assert_equal(4, l:F())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100133endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200134
Bram Moolenaar1e115362019-01-09 23:01:02 +0100135func Test_lambda_with_a_var()
136 func! s:foo()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200137 let x = 2
138 return {... -> a:000 + [x]}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100139 endfunc
140 func! s:bar()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200141 return s:foo()(1)
Bram Moolenaar1e115362019-01-09 23:01:02 +0100142 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200143
144 call assert_equal([1, 2], s:bar())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100145endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200146
Bram Moolenaar1e115362019-01-09 23:01:02 +0100147func Test_lambda_call_lambda_from_lambda()
148 func! s:foo(x)
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200149 let l:F1 = {-> {-> a:x}}
150 return {-> l:F1()}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100151 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200152
153 let l:F = s:foo(1)
154 call assert_equal(1, l:F()())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100155endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200156
Bram Moolenaar1e115362019-01-09 23:01:02 +0100157func Test_lambda_delfunc()
158 func! s:gen()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200159 let pl = l:
160 let l:Foo = {-> get(pl, "Foo", get(pl, "Bar", {-> 0}))}
161 let l:Bar = l:Foo
162 delfunction l:Foo
163 return l:Bar
Bram Moolenaar1e115362019-01-09 23:01:02 +0100164 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200165
166 let l:F = s:gen()
Bram Moolenaar437bafe2016-08-01 15:40:54 +0200167 call assert_fails(':call l:F()', 'E933:')
Bram Moolenaar1e115362019-01-09 23:01:02 +0100168endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200169
Bram Moolenaar1e115362019-01-09 23:01:02 +0100170func Test_lambda_scope()
171 func! s:NewCounter()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200172 let c = 0
173 return {-> [execute('let c += 1'), c][-1]}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100174 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200175
Bram Moolenaar1e115362019-01-09 23:01:02 +0100176 func! s:NewCounter2()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200177 return {-> [execute('let c += 100'), c][-1]}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100178 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200179
180 let l:C = s:NewCounter()
181 let l:D = s:NewCounter2()
182
183 call assert_equal(1, l:C())
Bram Moolenaarc0f5a782019-01-13 15:16:13 +0100184 call assert_fails(':call l:D()', 'E121:')
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200185 call assert_equal(2, l:C())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100186endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200187
Bram Moolenaar1e115362019-01-09 23:01:02 +0100188func Test_lambda_share_scope()
189 func! s:New()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200190 let c = 0
191 let l:Inc0 = {-> [execute('let c += 1'), c][-1]}
192 let l:Dec0 = {-> [execute('let c -= 1'), c][-1]}
193 return [l:Inc0, l:Dec0]
Bram Moolenaar1e115362019-01-09 23:01:02 +0100194 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200195
196 let [l:Inc, l:Dec] = s:New()
197
198 call assert_equal(1, l:Inc())
199 call assert_equal(2, l:Inc())
200 call assert_equal(1, l:Dec())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100201endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200202
Bram Moolenaar1e115362019-01-09 23:01:02 +0100203func Test_lambda_circular_reference()
204 func! s:Foo()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200205 let d = {}
206 let d.f = {-> d}
207 return d.f
Bram Moolenaar1e115362019-01-09 23:01:02 +0100208 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200209
210 call s:Foo()
211 call test_garbagecollect_now()
212 let i = 0 | while i < 10000 | call s:Foo() | let i+= 1 | endwhile
213 call test_garbagecollect_now()
Bram Moolenaar1e115362019-01-09 23:01:02 +0100214endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200215
Bram Moolenaar1e115362019-01-09 23:01:02 +0100216func Test_lambda_combination()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200217 call assert_equal(2, {x -> {x -> x}}(1)(2))
218 call assert_equal(10, {y -> {x -> x(y)(10)}({y -> y})}({z -> z}))
219 call assert_equal(5.0, {x -> {y -> x / y}}(10)(2.0))
220 call assert_equal(6, {x -> {y -> {z -> x + y + z}}}(1)(2)(3))
221
222 call assert_equal(6, {x -> {f -> f(x)}}(3)({x -> x * 2}))
223 call assert_equal(6, {f -> {x -> f(x)}}({x -> x * 2})(3))
224
225 " Z combinator
226 let Z = {f -> {x -> f({y -> x(x)(y)})}({x -> f({y -> x(x)(y)})})}
227 let Fact = {f -> {x -> x == 0 ? 1 : x * f(x - 1)}}
228 call assert_equal(120, Z(Fact)(5))
Bram Moolenaar1e115362019-01-09 23:01:02 +0100229endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200230
Bram Moolenaar1e115362019-01-09 23:01:02 +0100231func Test_closure_counter()
232 func! s:foo()
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200233 let x = 0
Bram Moolenaar1e115362019-01-09 23:01:02 +0100234 func! s:bar() closure
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200235 let x += 1
236 return x
Bram Moolenaar1e115362019-01-09 23:01:02 +0100237 endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200238 return function('s:bar')
Bram Moolenaar1e115362019-01-09 23:01:02 +0100239 endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200240
241 let l:F = s:foo()
242 call test_garbagecollect_now()
243 call assert_equal(1, l:F())
244 call assert_equal(2, l:F())
245 call assert_equal(3, l:F())
246 call assert_equal(4, l:F())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100247endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200248
Bram Moolenaar1e115362019-01-09 23:01:02 +0100249func Test_closure_unlet()
250 func! s:foo()
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200251 let x = 1
Bram Moolenaar1e115362019-01-09 23:01:02 +0100252 func! s:bar() closure
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200253 unlet x
Bram Moolenaar1e115362019-01-09 23:01:02 +0100254 endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200255 call s:bar()
256 return l:
Bram Moolenaar1e115362019-01-09 23:01:02 +0100257 endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200258
259 call assert_false(has_key(s:foo(), 'x'))
260 call test_garbagecollect_now()
Bram Moolenaar1e115362019-01-09 23:01:02 +0100261endfunc
Bram Moolenaar58016442016-07-31 18:30:22 +0200262
Bram Moolenaar1e115362019-01-09 23:01:02 +0100263func LambdaFoo()
Bram Moolenaar58016442016-07-31 18:30:22 +0200264 let x = 0
Bram Moolenaar1e115362019-01-09 23:01:02 +0100265 func! LambdaBar() closure
Bram Moolenaar58016442016-07-31 18:30:22 +0200266 let x += 1
267 return x
Bram Moolenaar1e115362019-01-09 23:01:02 +0100268 endfunc
Bram Moolenaar58016442016-07-31 18:30:22 +0200269 return function('LambdaBar')
Bram Moolenaar1e115362019-01-09 23:01:02 +0100270endfunc
Bram Moolenaar58016442016-07-31 18:30:22 +0200271
272func Test_closure_refcount()
273 let g:Count = LambdaFoo()
274 call test_garbagecollect_now()
275 call assert_equal(1, g:Count())
276 let g:Count2 = LambdaFoo()
277 call test_garbagecollect_now()
278 call assert_equal(1, g:Count2())
279 call assert_equal(2, g:Count())
280 call assert_equal(3, g:Count2())
281
Bram Moolenaar0588d4f2016-08-01 16:29:47 +0200282 delfunc LambdaFoo
283 delfunc LambdaBar
Bram Moolenaar58016442016-07-31 18:30:22 +0200284endfunc
Bram Moolenaarbc7ce672016-08-01 22:49:22 +0200285
286func Test_named_function_closure()
287 func! Afoo()
288 let x = 14
289 func! s:Abar() closure
290 return x
291 endfunc
292 call assert_equal(14, s:Abar())
293 endfunc
294 call Afoo()
295 call assert_equal(14, s:Abar())
296 call test_garbagecollect_now()
297 call assert_equal(14, s:Abar())
298endfunc
Bram Moolenaarb4518562018-05-22 18:31:35 +0200299
300func Test_lambda_with_index()
301 let List = {x -> [x]}
302 let Extract = {-> function(List, ['foobar'])()[0]}
303 call assert_equal('foobar', Extract())
304endfunc
Bram Moolenaar0ff822d2019-12-08 18:41:34 +0100305
306func Test_lambda_error()
307 " This was causing a crash
308 call assert_fails('ec{@{->{d->()()', 'E15')
309endfunc