Gitly


1 module main
2 
3 fn generic[A](a A) {
4     expect_map_2_args(a, 1)
5     expect_map(A(a))
6 }
7 
8 fn expect_map[K, V](a map[K]V) {
9     println(a)
10 }
11 
12 fn expect_map_2_args[K, V](a map[K]V, b int) {
13     assert b == 1
14     println(b)
15 }
16 
17 fn test_main() {
18     a := {
19         'a': 1
20     }
21     b := {
22         1: 'a'
23     }
24     generic(a)
25     generic(b)
26     assert true
27 }
28

1	module main
2
3	fn generic[A](a A) {
4	expect_map_2_args(a, 1)
5	expect_map(A(a))
6	}
7
8	fn expect_map[K, V](a map[K]V) {
9	println(a)
10	}
11
12	fn expect_map_2_args[K, V](a map[K]V, b int) {
13	assert b == 1
14	println(b)
15	}
16
17	fn test_main() {
18	a := {
19	'a': 1
20	}
21	b := {
22	1: 'a'
23	}
24	generic(a)
25	generic(b)
26	assert true
27	}
28