source: src/Tests/Expect-v/InferParam.txt @ ae4c85a

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 ae4c85a was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
  • Property mode set to 100644
File size: 4.0 KB
RevLine 
[b1d6dd5]1?=?: function
2    with parameters
3      pointer to signed int
4      signed int
5    returning
6      signed int
7
8?=?: function
9    with parameters
10      pointer to float
11      float
12    returning
13      float
14
15?=?: function
16    with parameters
17      pointer to double
18      double
19    returning
20      double
21
22g: forall
23      T: type
24        with assertions
25          ?=?: pointer to function
26              with parameters
27                pointer to instance of type T (not function type)
28                instance of type T (not function type)
29              returning
30                instance of type T (not function type)
31
32
33      U: type
34        with assertions
35          ?=?: pointer to function
36              with parameters
37                pointer to instance of type U (not function type)
38                instance of type U (not function type)
39              returning
40                instance of type U (not function type)
41
42          f: pointer to function
43              with parameters
44                instance of type T (not function type)
45              returning
46                instance of type U (not function type)
47
48
49    function
50    with parameters
51      instance of type T (not function type)
52    returning
53      instance of type U (not function type)
54
55f: function
56    with parameters
57      signed int
58    returning
59      float
60
61f: function
62    with parameters
63      signed int
64    returning
65      double
66
67i: function
68    with parameters
69      float
70    returning
71      nothing
72
73h: function
74      accepting unspecified arguments
75    returning
76      nothing
77    with body
78      CompoundStmt
79        Declaration of a: signed int
80                  Expression Statement:
81            Applying untyped:
82                Name: i
83            ...to:
84                Applying untyped:
85                    Name: g
86                ...to:
87                    Name: a
88
89
90context has_f_and_j
91    with parameters
92      T: type
93      U: type
94
95    with members
96      f: function
97          with parameters
98            instance of type T (not function type)
99          returning
100            instance of type U (not function type)
101
102      j: function
103          with parameters
104            instance of type T (not function type)
105            instance of type U (not function type)
106          returning
107            instance of type U (not function type)
108
109
110j: function
111    with parameters
112      signed int
113      float
114    returning
115      float
116
117k: forall
118      T: type
119        with assertions
120          ?=?: pointer to function
121              with parameters
122                pointer to instance of type T (not function type)
123                instance of type T (not function type)
124              returning
125                instance of type T (not function type)
126
127
128      U: type
129        with assertions
130          ?=?: pointer to function
131              with parameters
132                pointer to instance of type U (not function type)
133                instance of type U (not function type)
134              returning
135                instance of type U (not function type)
136
137          f: pointer to function
138              with parameters
139                instance of type T (not function type)
140              returning
141                instance of type U (not function type)
142
143          j: pointer to function
144              with parameters
145                instance of type T (not function type)
146                instance of type U (not function type)
147              returning
148                instance of type U (not function type)
149
150
151    function
152    with parameters
153      instance of type T (not function type)
154    returning
155      instance of type U (not function type)
156
157l: function
158      accepting unspecified arguments
159    returning
160      nothing
161    with body
162      CompoundStmt
163        Declaration of b: signed int
164                  Expression Statement:
165            Applying untyped:
166                Name: i
167            ...to:
168                Applying untyped:
169                    Name: k
170                ...to:
171                    Name: b
172
173
Note: See TracBrowser for help on using the repository browser.