blob: 654a11cbcfe77a492894e4697b0c4049f4759c00 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
(fate_version 1)
(global (lambda int (int)) int_to_int)
(set int_to_int
(lambda ( (int i) )
(+ (var i) 1)
)
)
(assert (= 1 (eval int_to_int 0)) FAILED: lambda A)
(define_sequence map_int_to_int
(
((ptr (list int)) out)
((ptr (list int)) in)
((lambda int (int)) fun)
)
(foreach (at in) i
(add (eval fun (var i)) (at out))
)
)
(global (list int) l0)
(global (list int) l1)
(add 0 l0)
(add 1 l0)
(add 2 l0)
(add 3 l0)
(add 4 l0)
(add 5 l0)
(visit map_int_to_int (ptr l1) (ptr l0) (var int_to_int))
(foreach l0 i
Was (var i)
)
(foreach l1 i
Is (var i)
)
(clear l1)
(visit map_int_to_int
(ptr l1)
(ptr l0)
(lambda ( (int i) )
(* (eval int_to_int (var i)) 2)
)
)
(foreach l1 i
Is (var i)
)
;;(global (lambda int (int)) times_two)
(end)
|
