snap/return.txt at master · mpenick/snap · GitHub

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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
(a (b))

LOAD_CONSTANT 0
CALL 0 0
LOAD_CONSTANT 1
CALL 0 1


(a (b 1)  (c 1 2))


LOAD_CONSTANT 0
LOAD_CONSTANT 1
CALL 1 1
LOAD_CONSTANT 2
LOAD_CONSTANT 1
LOAD_CONSTANT 3
CALL 2 0
LOAD_CONSTANT 4
CALL 1 1


(a (b 1)  (c (d)))

LOAD_CONSTANT 0 # load 'b'
LOAD_CONSTANT 1 # load 1
CALL 1 1

LOAD_CONSTANT 2 # load 'd'
CALL 0 0

LOAD_CONSTANT 3 # load 'c'
CALL 0 0

LOAD_CONSTANT 4 # load 'a'
CALL 1 1


num_result = 0 when function call is last argument
num_args = args - 1 when function call is last argument


(define [x y z] (a))
(define [x y z] [1 2 3])

(let ([x y z] [1 2 3])


(define a (fn (x) (+ x x)))
(define b (fn (x) (a x)))
(define c (fn (x) (b x)))
(c 1)

# function a
LOAD_LOCAL 0
LOAD_LOCAL 0
ADD
RETURN 1

# function b
LOAD_LOCAL 0
LOAD_GLOBAL 2 # load a
CALL 1 0
RETURN 0

# function c
LOAD_LOCAL 0
LOAD_GLOBAL 1 # load b
CALL 1 0
RETURN 0

LOAD_CONSTANT 0 # load 1
LOAD_GLOBAL 0 # load c
CALL 1 1
POP

1)
[ 1 ]
[ func 'c' ]

2)
[ 1 ]
[ 1 ]
[ func 'b' ]

3)
[ 1 ]
[ 1 ]
[ 1 ]
[ func 'a' ]

4)
[ 1 ]
[ 1 ]
[ 1 ]
[ 1 ]
[ 1 ]

5)
[ 1 ]
[ 1 ]
[ 1 ]
[ 2 ]