blob: 7a31dcc1eff0856db2f39fdcee562444371c0cf2 [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 Moolenaar069c1e72016-07-15 21:25:08 +020029 "let n = 0
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020030 let s:timer_id = timer_start(50, {-> execute("let s:n += 1 | echo s:n", "")}, {"repeat": -1})
Bram Moolenaar1e115362019-01-09 23:01:02 +010031 endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020032
33 call s:Foo()
34 sleep 200ms
35 " do not collect lambda
36 call test_garbagecollect_now()
37 let m = s:n
38 sleep 200ms
39 call timer_stop(s:timer_id)
40 call assert_true(m > 1)
41 call assert_true(s:n > m + 1)
42 call assert_true(s:n < 9)
Bram Moolenaar1e115362019-01-09 23:01:02 +010043endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020044
Bram Moolenaar1e115362019-01-09 23:01:02 +010045func Test_lambda_with_partial()
Bram Moolenaar069c1e72016-07-15 21:25:08 +020046 let l:Cb = function({... -> ['zero', a:1, a:2, a:3]}, ['one', 'two'])
47 call assert_equal(['zero', 'one', 'two', 'three'], l:Cb('three'))
Bram Moolenaar1e115362019-01-09 23:01:02 +010048endfunc
Bram Moolenaar069c1e72016-07-15 21:25:08 +020049
50function Test_lambda_fails()
51 call assert_equal(3, {a, b -> a + b}(1, 2))
52 call assert_fails('echo {a, a -> a + a}(1, 2)', 'E15:')
53 call assert_fails('echo {a, b -> a + b)}(1, 2)', 'E15:')
54endfunc
Bram Moolenaar4f0383b2016-07-19 22:43:11 +020055
56func Test_not_lamda()
57 let x = {'>' : 'foo'}
58 call assert_equal('foo', x['>'])
59endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020060
Bram Moolenaar1e115362019-01-09 23:01:02 +010061func Test_lambda_capture_by_reference()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020062 let v = 1
63 let l:F = {x -> x + v}
64 let v = 2
65 call assert_equal(12, l:F(10))
Bram Moolenaar1e115362019-01-09 23:01:02 +010066endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020067
Bram Moolenaar1e115362019-01-09 23:01:02 +010068func Test_lambda_side_effect()
69 func! s:update_and_return(arr)
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020070 let a:arr[1] = 5
71 return a:arr
Bram Moolenaar1e115362019-01-09 23:01:02 +010072 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020073
Bram Moolenaar1e115362019-01-09 23:01:02 +010074 func! s:foo(arr)
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020075 return {-> s:update_and_return(a:arr)}
Bram Moolenaar1e115362019-01-09 23:01:02 +010076 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020077
78 let arr = [3,2,1]
79 call assert_equal([3, 5, 1], s:foo(arr)())
Bram Moolenaar1e115362019-01-09 23:01:02 +010080endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020081
Bram Moolenaar1e115362019-01-09 23:01:02 +010082func Test_lambda_refer_local_variable_from_other_scope()
83 func! s:foo(X)
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020084 return a:X() " refer l:x in s:bar()
Bram Moolenaar1e115362019-01-09 23:01:02 +010085 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020086
Bram Moolenaar1e115362019-01-09 23:01:02 +010087 func! s:bar()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020088 let x = 123
89 return s:foo({-> x})
Bram Moolenaar1e115362019-01-09 23:01:02 +010090 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020091
92 call assert_equal(123, s:bar())
Bram Moolenaar1e115362019-01-09 23:01:02 +010093endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020094
Bram Moolenaar1e115362019-01-09 23:01:02 +010095func Test_lambda_do_not_share_local_variable()
96 func! s:define_funcs()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +020097 let l:One = {-> split(execute("let a = 'abc' | echo a"))[0]}
98 let l:Two = {-> exists("a") ? a : "no"}
99 return [l:One, l:Two]
Bram Moolenaar1e115362019-01-09 23:01:02 +0100100 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200101
102 let l:F = s:define_funcs()
103
104 call assert_equal('no', l:F[1]())
105 call assert_equal('abc', l:F[0]())
106 call assert_equal('no', l:F[1]())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100107endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200108
Bram Moolenaar1e115362019-01-09 23:01:02 +0100109func Test_lambda_closure_counter()
110 func! s:foo()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200111 let x = 0
112 return {-> [execute("let x += 1"), x][-1]}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100113 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200114
115 let l:F = s:foo()
116 call test_garbagecollect_now()
117 call assert_equal(1, l:F())
118 call assert_equal(2, l:F())
119 call assert_equal(3, l:F())
120 call assert_equal(4, l:F())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100121endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200122
Bram Moolenaar1e115362019-01-09 23:01:02 +0100123func Test_lambda_with_a_var()
124 func! s:foo()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200125 let x = 2
126 return {... -> a:000 + [x]}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100127 endfunc
128 func! s:bar()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200129 return s:foo()(1)
Bram Moolenaar1e115362019-01-09 23:01:02 +0100130 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200131
132 call assert_equal([1, 2], s:bar())
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_call_lambda_from_lambda()
136 func! s:foo(x)
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200137 let l:F1 = {-> {-> a:x}}
138 return {-> l:F1()}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100139 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200140
141 let l:F = s:foo(1)
142 call assert_equal(1, l:F()())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100143endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200144
Bram Moolenaar1e115362019-01-09 23:01:02 +0100145func Test_lambda_delfunc()
146 func! s:gen()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200147 let pl = l:
148 let l:Foo = {-> get(pl, "Foo", get(pl, "Bar", {-> 0}))}
149 let l:Bar = l:Foo
150 delfunction l:Foo
151 return l:Bar
Bram Moolenaar1e115362019-01-09 23:01:02 +0100152 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200153
154 let l:F = s:gen()
Bram Moolenaar437bafe2016-08-01 15:40:54 +0200155 call assert_fails(':call l:F()', 'E933:')
Bram Moolenaar1e115362019-01-09 23:01:02 +0100156endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200157
Bram Moolenaar1e115362019-01-09 23:01:02 +0100158func Test_lambda_scope()
159 func! s:NewCounter()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200160 let c = 0
161 return {-> [execute('let c += 1'), c][-1]}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100162 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200163
Bram Moolenaar1e115362019-01-09 23:01:02 +0100164 func! s:NewCounter2()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200165 return {-> [execute('let c += 100'), c][-1]}
Bram Moolenaar1e115362019-01-09 23:01:02 +0100166 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200167
168 let l:C = s:NewCounter()
169 let l:D = s:NewCounter2()
170
171 call assert_equal(1, l:C())
172 call assert_fails(':call l:D()', 'E15:') " E121: then E15:
173 call assert_equal(2, l:C())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100174endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200175
Bram Moolenaar1e115362019-01-09 23:01:02 +0100176func Test_lambda_share_scope()
177 func! s:New()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200178 let c = 0
179 let l:Inc0 = {-> [execute('let c += 1'), c][-1]}
180 let l:Dec0 = {-> [execute('let c -= 1'), c][-1]}
181 return [l:Inc0, l:Dec0]
Bram Moolenaar1e115362019-01-09 23:01:02 +0100182 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200183
184 let [l:Inc, l:Dec] = s:New()
185
186 call assert_equal(1, l:Inc())
187 call assert_equal(2, l:Inc())
188 call assert_equal(1, l:Dec())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100189endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200190
Bram Moolenaar1e115362019-01-09 23:01:02 +0100191func Test_lambda_circular_reference()
192 func! s:Foo()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200193 let d = {}
194 let d.f = {-> d}
195 return d.f
Bram Moolenaar1e115362019-01-09 23:01:02 +0100196 endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200197
198 call s:Foo()
199 call test_garbagecollect_now()
200 let i = 0 | while i < 10000 | call s:Foo() | let i+= 1 | endwhile
201 call test_garbagecollect_now()
Bram Moolenaar1e115362019-01-09 23:01:02 +0100202endfunc
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200203
Bram Moolenaar1e115362019-01-09 23:01:02 +0100204func Test_lambda_combination()
Bram Moolenaar1e96d9b2016-07-29 22:15:09 +0200205 call assert_equal(2, {x -> {x -> x}}(1)(2))
206 call assert_equal(10, {y -> {x -> x(y)(10)}({y -> y})}({z -> z}))
207 call assert_equal(5.0, {x -> {y -> x / y}}(10)(2.0))
208 call assert_equal(6, {x -> {y -> {z -> x + y + z}}}(1)(2)(3))
209
210 call assert_equal(6, {x -> {f -> f(x)}}(3)({x -> x * 2}))
211 call assert_equal(6, {f -> {x -> f(x)}}({x -> x * 2})(3))
212
213 " Z combinator
214 let Z = {f -> {x -> f({y -> x(x)(y)})}({x -> f({y -> x(x)(y)})})}
215 let Fact = {f -> {x -> x == 0 ? 1 : x * f(x - 1)}}
216 call assert_equal(120, Z(Fact)(5))
Bram Moolenaar1e115362019-01-09 23:01:02 +0100217endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200218
Bram Moolenaar1e115362019-01-09 23:01:02 +0100219func Test_closure_counter()
220 func! s:foo()
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200221 let x = 0
Bram Moolenaar1e115362019-01-09 23:01:02 +0100222 func! s:bar() closure
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200223 let x += 1
224 return x
Bram Moolenaar1e115362019-01-09 23:01:02 +0100225 endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200226 return function('s:bar')
Bram Moolenaar1e115362019-01-09 23:01:02 +0100227 endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200228
229 let l:F = s:foo()
230 call test_garbagecollect_now()
231 call assert_equal(1, l:F())
232 call assert_equal(2, l:F())
233 call assert_equal(3, l:F())
234 call assert_equal(4, l:F())
Bram Moolenaar1e115362019-01-09 23:01:02 +0100235endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200236
Bram Moolenaar1e115362019-01-09 23:01:02 +0100237func Test_closure_unlet()
238 func! s:foo()
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200239 let x = 1
Bram Moolenaar1e115362019-01-09 23:01:02 +0100240 func! s:bar() closure
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200241 unlet x
Bram Moolenaar1e115362019-01-09 23:01:02 +0100242 endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200243 call s:bar()
244 return l:
Bram Moolenaar1e115362019-01-09 23:01:02 +0100245 endfunc
Bram Moolenaar10ce39a2016-07-29 22:37:06 +0200246
247 call assert_false(has_key(s:foo(), 'x'))
248 call test_garbagecollect_now()
Bram Moolenaar1e115362019-01-09 23:01:02 +0100249endfunc
Bram Moolenaar58016442016-07-31 18:30:22 +0200250
Bram Moolenaar1e115362019-01-09 23:01:02 +0100251func LambdaFoo()
Bram Moolenaar58016442016-07-31 18:30:22 +0200252 let x = 0
Bram Moolenaar1e115362019-01-09 23:01:02 +0100253 func! LambdaBar() closure
Bram Moolenaar58016442016-07-31 18:30:22 +0200254 let x += 1
255 return x
Bram Moolenaar1e115362019-01-09 23:01:02 +0100256 endfunc
Bram Moolenaar58016442016-07-31 18:30:22 +0200257 return function('LambdaBar')
Bram Moolenaar1e115362019-01-09 23:01:02 +0100258endfunc
Bram Moolenaar58016442016-07-31 18:30:22 +0200259
260func Test_closure_refcount()
261 let g:Count = LambdaFoo()
262 call test_garbagecollect_now()
263 call assert_equal(1, g:Count())
264 let g:Count2 = LambdaFoo()
265 call test_garbagecollect_now()
266 call assert_equal(1, g:Count2())
267 call assert_equal(2, g:Count())
268 call assert_equal(3, g:Count2())
269
Bram Moolenaar0588d4f2016-08-01 16:29:47 +0200270 delfunc LambdaFoo
271 delfunc LambdaBar
Bram Moolenaar58016442016-07-31 18:30:22 +0200272endfunc
Bram Moolenaarbc7ce672016-08-01 22:49:22 +0200273
274func Test_named_function_closure()
275 func! Afoo()
276 let x = 14
277 func! s:Abar() closure
278 return x
279 endfunc
280 call assert_equal(14, s:Abar())
281 endfunc
282 call Afoo()
283 call assert_equal(14, s:Abar())
284 call test_garbagecollect_now()
285 call assert_equal(14, s:Abar())
286endfunc
Bram Moolenaarb4518562018-05-22 18:31:35 +0200287
288func Test_lambda_with_index()
289 let List = {x -> [x]}
290 let Extract = {-> function(List, ['foobar'])()[0]}
291 call assert_equal('foobar', Extract())
292endfunc