source: translator/Tests/ResolvExpr/Expected/Rank2.tst @ b1a6d6b

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

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