source: src/Tests/SynTree/Expected/Forall.tst@ f7d59bf

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since f7d59bf was 843054c2, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

licencing: seventh groups of files
  • Property mode set to 100644
File size: 4.7 KB
Line 
1in default case, (shouldn't be here)
2in default case, (shouldn't be here)
3f: a typedef for pointer to function
4 with parameters
5 signed int
6 with forall
7 T: a type
8 returning
9 signed int
10
11swap: a function
12 with parameters
13 left: a instance of type T
14 right: a instance of type T
15 with forall
16 T: a type
17 returning
18 void
19 with body
20 Declaration of temp: a instance of type T
21
22 Expression Statement:
23 Applying untyped:
24 Name: ?=?
25 to:
26 Name: left
27 Name: right
28
29
30 Expression Statement:
31 Applying untyped:
32 Name: ?=?
33 to:
34 Name: right
35 Name: temp
36
37
38context sumable
39 with parameters
40 T: a type
41
42 with members
43 0: a const instance of type T
44 ?+?: a function
45 with parameters
46 instance of type T
47 instance of type T
48 returning
49 instance of type T
50
51 ?++: a function
52 with parameters
53 instance of type T
54 returning
55 instance of type T
56
57 ?+=?: a function
58 with parameters
59 instance of type T
60 instance of type T
61 returning
62 instance of type T
63
64
65T1: a type
66 with assertions
67 0: a const instance of type T1
68 ?+?: a function
69 with parameters
70 instance of type T1
71 instance of type T1
72 returning
73 instance of type T1
74
75 ?++: a function
76 with parameters
77 instance of type T1
78 returning
79 instance of type T1
80
81 ?+=?: a function
82 with parameters
83 instance of type T1
84 instance of type T1
85 returning
86 instance of type T1
87
88
89T2: a type
90 with parameters
91 P1: a type
92 P2: a type
93
94T3: a type
95 with assertions
96 instance of context sumable
97 with parameters
98 instance of type T3
99
100
101struct __anonymous0
102 with members
103 i: a instance of type P1
104 j: a instance of type P2
105
106T2: a type for instance of struct __anonymous0
107 with parameters
108 P1: a type
109 P2: a type
110
111 with assertions
112 instance of context sumable
113 with parameters
114 instance of type T2
115 with parameters
116 instance of type P1
117 instance of type P2
118
119
120
121w1: a instance of type T2
122 with parameters
123 signed int
124 signed int
125
126w2: a typedef for instance of type T2
127 with parameters
128 signed int
129 signed int
130
131g2: a instance of type w2
132w3: a type for instance of type T2
133 with parameters
134 signed int
135 signed int
136
137g3: a instance of type w3
138sum: a function
139 with parameters
140 n: a signed int
141 a: a open array of instance of type T
142 with forall
143 T: a type
144 with assertions
145 instance of context sumable
146 with parameters
147 instance of type T
148
149
150 returning
151 instance of type T
152 with body
153 Declaration of total: a instance of type T
154 Declaration of i: a signed int
155
156twice: a function
157 with parameters
158 t: a instance of type T
159 with forall
160 T: a type
161 with assertions
162 0: a const instance of type T
163 ?+?: a function
164 with parameters
165 instance of type T
166 instance of type T
167 returning
168 instance of type T
169
170 ?++: a function
171 with parameters
172 instance of type T
173 returning
174 instance of type T
175
176 ?+=?: a function
177 with parameters
178 instance of type T
179 instance of type T
180 returning
181 instance of type T
182
183
184 returning
185 instance of type T
186 with body
187
188main: a function
189 returning
190 signed int
191 with body
192 Declaration of x: a signed int
193 Declaration of y: a signed int
194 Declaration of a: a array of Constant Expression: 10signed int
195 Declaration of f: a float
196
197 Expression Statement:
198 Applying untyped:
199 Name: swap
200 to:
201 Name: x
202 Name: y
203
204
205 Expression Statement:
206 Applying untyped:
207 Name: twice
208 to:
209 Name: x
210 Name: y
211
212
213 Expression Statement:
214 Applying untyped:
215 Name: ?=?
216 to:
217 Name: f
218 Applying untyped:
219 Name: min
220 to:
221 Constant Expression: 4.0 Constant Expression: 3.0
222
223 Expression Statement:
224 Applying untyped:
225 Name: sum
226 to:
227 Constant Expression: 10 Name: a
228
229
Note: See TracBrowser for help on using the repository browser.