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 ea9b9d3 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:
1.7 KB
|
Line | |
---|
1 | context has_q |
---|
2 | with parameters |
---|
3 | T: type |
---|
4 | |
---|
5 | with members |
---|
6 | q: function |
---|
7 | with parameters |
---|
8 | instance of type T (not function type) |
---|
9 | returning |
---|
10 | instance of type T (not function type) |
---|
11 | |
---|
12 | |
---|
13 | f: forall |
---|
14 | z: type |
---|
15 | with assertions |
---|
16 | ?=?: function |
---|
17 | with parameters |
---|
18 | pointer to instance of type z (not function type) |
---|
19 | instance of type z (not function type) |
---|
20 | returning |
---|
21 | instance of type z (not function type) |
---|
22 | |
---|
23 | instance of context has_q |
---|
24 | with parameters |
---|
25 | instance of type z (not function type) |
---|
26 | |
---|
27 | |
---|
28 | function |
---|
29 | accepting unspecified arguments |
---|
30 | returning |
---|
31 | void |
---|
32 | with body |
---|
33 | CompoundStmt |
---|
34 | Declaration of context has_r |
---|
35 | with parameters |
---|
36 | T: type |
---|
37 | U: type |
---|
38 | |
---|
39 | with members |
---|
40 | r: function |
---|
41 | with parameters |
---|
42 | instance of type T (not function type) |
---|
43 | function |
---|
44 | with parameters |
---|
45 | instance of type T (not function type) |
---|
46 | instance of type U (not function type) |
---|
47 | returning |
---|
48 | instance of type T (not function type) |
---|
49 | |
---|
50 | returning |
---|
51 | instance of type T (not function type) |
---|
52 | |
---|
53 | |
---|
54 | Declaration of x: auto type |
---|
55 | Declaration of y: auto type |
---|
56 | with assertions |
---|
57 | instance of context has_r |
---|
58 | with parameters |
---|
59 | instance of type x (not function type) |
---|
60 | instance of type y (not function type) |
---|
61 | |
---|
62 | |
---|
63 | |
---|
Note: See
TracBrowser
for help on using the repository browser.