source: src/Tests/ResolvExpr/Expected/Quad.tst@ cd623a4

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 cd623a4 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.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.