source: translator/Tests/SynTree/Expected/Forall.tst @ 51587aa

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 51587aa was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit
  • 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.