source: src/Tests/ResolvExpr/Expected/Function.tst @ 09a9a8b

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 09a9a8b was 843054c2, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

licencing: seventh groups of files
  • Property mode set to 100644
File size: 5.4 KB
Line 
1a: a signed int
2a: a float
3f: a function
4    with parameters
5      signed int
6    returning
7      signed int
8
9f: a function
10    with parameters
11      float
12    returning
13      float
14
15g: a function
16      accepting unspecified arguments
17    returning
18      nothing
19    with body
20     
21        Expression Statement:
22          Application of
23            Variable Expression: f: a function
24                with parameters
25                  signed int
26                returning
27                  signed int
28
29          to arguments
30                          Cast of:
31                Variable Expression: a: a signed int
32
33              to:
34                signed int
35
36          with environment:
37            Types:
38            Non-types:
39
40     
41        Expression Statement:
42          Cast of:
43            Application of
44              Variable Expression: f: a function
45                  with parameters
46                    signed int
47                  returning
48                    signed int
49
50            to arguments
51                              Variable Expression: a: a signed int
52
53
54          to:
55            signed int
56          with environment:
57            Types:
58            Non-types:
59
60
61p: a tuple of types
62    signed int
63
64p: a tuple of types
65    signed int
66    double
67
68p: a tuple of types
69    signed int
70    signed int
71    signed int
72
73p: a tuple of types
74    signed int
75    signed int
76    signed int
77    signed int
78
79q: a tuple of types
80    char
81
82q: a tuple of types
83    signed int
84    signed int
85
86q: a tuple of types
87    signed int
88    signed int
89    float
90
91q: a tuple of types
92    signed int
93    signed int
94    signed int
95    signed int
96
97r: a function
98    with parameters
99      signed int
100      signed int
101      signed int
102      signed int
103    returning
104      signed int
105      signed int
106
107s: a function
108      accepting unspecified arguments
109    returning
110      nothing
111    with body
112     
113        Expression Statement:
114          Application of
115            Variable Expression: r: a function
116                with parameters
117                  signed int
118                  signed int
119                  signed int
120                  signed int
121                returning
122                  signed int
123                  signed int
124
125          to arguments
126                          Variable Expression: p: a tuple of types
127                  signed int
128                  signed int
129                  signed int
130
131
132                          Cast of:
133                Variable Expression: q: a tuple of types
134                    char
135
136
137              to:
138                signed int
139
140          with environment:
141            Types:
142            Non-types:
143
144     
145        Expression Statement:
146          Application of
147            Variable Expression: r: a function
148                with parameters
149                  signed int
150                  signed int
151                  signed int
152                  signed int
153                returning
154                  signed int
155                  signed int
156
157          to arguments
158                          Cast of:
159                Tuple:
160                                      Variable Expression: q: a tuple of types
161                        char
162
163
164                                      Variable Expression: p: a tuple of types
165                        signed int
166                        signed int
167                        signed int
168
169
170
171              to:
172                signed int
173                signed int
174                signed int
175                signed int
176
177          with environment:
178            Types:
179            Non-types:
180
181     
182        Expression Statement:
183          Application of
184            Variable Expression: r: a function
185                with parameters
186                  signed int
187                  signed int
188                  signed int
189                  signed int
190                returning
191                  signed int
192                  signed int
193
194          to arguments
195                          Application of
196                Variable Expression: r: a function
197                    with parameters
198                      signed int
199                      signed int
200                      signed int
201                      signed int
202                    returning
203                      signed int
204                      signed int
205
206              to arguments
207                                  Variable Expression: p: a tuple of types
208                      signed int
209                      signed int
210                      signed int
211
212
213                                  Cast of:
214                    Variable Expression: q: a tuple of types
215                        char
216
217
218                  to:
219                    signed int
220
221
222                          Application of
223                Variable Expression: r: a function
224                    with parameters
225                      signed int
226                      signed int
227                      signed int
228                      signed int
229                    returning
230                      signed int
231                      signed int
232
233              to arguments
234                                  Variable Expression: q: a tuple of types
235                      signed int
236                      signed int
237
238
239                                  Variable Expression: q: a tuple of types
240                      signed int
241                      signed int
242
243
244
245          with environment:
246            Types:
247            Non-types:
248
249
Note: See TracBrowser for help on using the repository browser.