source: translator/Tests/ResolvExpr/Expected/Quad.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: 4.8 KB
Line 
1?=?: a function
2    with parameters
3      pointer to signed int
4      signed int
5    returning
6      signed int
7
8?*?: a function
9    with parameters
10      signed int
11      signed int
12    returning
13      signed int
14
15square: a forall
16      T: a type
17        with assertions
18          ?=?: a pointer to function
19              with parameters
20                pointer to instance of type T
21                instance of type T
22              returning
23                instance of type T
24
25          ?*?: a pointer to function
26              with parameters
27                instance of type T
28                instance of type T
29              returning
30                instance of type T
31
32
33    function
34    with parameters
35      t: a instance of type T
36    returning
37      instance of type T
38    with body
39     
40        Return Statement, returning: Cast of:
41  Application of
42    Variable Expression: ?*?: a pointer to function
43        with parameters
44          instance of type T
45          instance of type T
46        returning
47          instance of type T
48
49  to arguments
50          Variable Expression: t: a instance of type T
51
52          Variable Expression: t: a instance of type T
53
54
55to:
56  instance of type T
57with environment:
58  Types:
59  Non-types:
60
61
62
63quad: a forall
64      U: a type
65        with assertions
66          ?=?: a pointer to function
67              with parameters
68                pointer to instance of type U
69                instance of type U
70              returning
71                instance of type U
72
73          square: a pointer to function
74              with parameters
75                instance of type U
76              returning
77                instance of type U
78
79
80    function
81    with parameters
82      u: a instance of type U
83    returning
84      instance of type U
85    with body
86     
87        Return Statement, returning: Cast of:
88  Application of
89    Variable Expression: square: a pointer to function
90        with parameters
91          instance of type U
92        returning
93          instance of type U
94
95  to arguments
96          Application of
97        Variable Expression: square: a pointer to function
98            with parameters
99              instance of type U
100            returning
101              instance of type U
102
103      to arguments
104                  Variable Expression: u: a instance of type U
105
106
107
108to:
109  instance of type U
110with environment:
111  Types:
112  Non-types:
113
114
115
116f: a function
117      accepting unspecified arguments
118    returning
119      nothing
120    with body
121     
122        Expression Statement:
123          Application of
124            Variable Expression: quad: a forall
125                  U: a type
126                    with assertions
127                      ?=?: a pointer to function
128                          with parameters
129                            pointer to instance of type U
130                            instance of type U
131                          returning
132                            instance of type U
133
134                      square: a pointer to function
135                          with parameters
136                            instance of type U
137                          returning
138                            instance of type U
139
140
141                function
142                with parameters
143                  u: a instance of type U
144                returning
145                  instance of type U
146
147          to arguments
148                          Constant Expression: 7 (type: signed int )
149          with inferred parameters:
150            ?=?: a function
151              with parameters
152                pointer to signed int
153                signed int
154              returning
155                signed int
156
157            ?*?: a function
158              with parameters
159                signed int
160                signed int
161              returning
162                signed int
163
164            ?=?: a function
165              with parameters
166                pointer to signed int
167                signed int
168              returning
169                signed int
170
171            square: a forall
172                T: a type
173                  with assertions
174                    ?=?: a pointer to function
175                        with parameters
176                          pointer to instance of type T
177                          instance of type T
178                        returning
179                          instance of type T
180
181                    ?*?: a pointer to function
182                        with parameters
183                          instance of type T
184                          instance of type T
185                        returning
186                          instance of type T
187
188
189              function
190              with parameters
191                t: a instance of type T
192              returning
193                instance of type T
194
195          with environment:
196            Types:
197              _0_U -> signed int
198              _1_T -> signed int
199            Non-types:
200
201
Note: See TracBrowser for help on using the repository browser.