source: src/Tests/Expect-a/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: 3.7 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          ?=?: 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          ?=?: 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: 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      void
72
73h: function
74      accepting unspecified arguments
75    returning
76      void
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          ?=?: 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          ?=?: 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          instance of context has_f_and_j
138            with parameters
139              instance of type T (not function type)
140              instance of type U (not function type)
141
142
143    function
144    with parameters
145      instance of type T (not function type)
146    returning
147      instance of type U (not function type)
148
149l: function
150      accepting unspecified arguments
151    returning
152      void
153    with body
154      CompoundStmt
155        Declaration of b: signed int
156                  Expression Statement:
157            Applying untyped:
158                Name: i
159            ...to:
160                Applying untyped:
161                    Name: k
162                ...to:
163                    Name: b
164
165
Note: See TracBrowser for help on using the repository browser.