source:
src/Tests/Expect-a/Context.txt
@
68cd1ce
Last change on this file since 68cd1ce was 68cd1ce, checked in by , 9 years ago | |
---|---|
|
|
File size: 1.7 KB |
Rev | Line | |
---|---|---|
[51b7345] | 1 | context has_q |
2 | with parameters | |
[5f2f2d7] | 3 | T: type |
[51b7345] | 4 | |
5 | with members | |
[5f2f2d7] | 6 | q: function |
[51b7345] | 7 | with parameters |
[5f2f2d7] | 8 | instance of type T (not function type) |
[51b7345] | 9 | returning |
[5f2f2d7] | 10 | instance of type T (not function type) |
[51b7345] | 11 | |
12 | ||
[5f2f2d7] | 13 | f: forall |
14 | z: type | |
[51b7345] | 15 | with assertions |
[5f2f2d7] | 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 | ||
[51b7345] | 23 | instance of context has_q |
24 | with parameters | |
[5f2f2d7] | 25 | instance of type z (not function type) |
[51b7345] | 26 | |
27 | ||
[5f2f2d7] | 28 | function |
29 | accepting unspecified arguments | |
[51b7345] | 30 | returning |
31 | void | |
32 | with body | |
[5f2f2d7] | 33 | CompoundStmt |
34 | Declaration of context has_r | |
[51b7345] | 35 | with parameters |
[5f2f2d7] | 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 | ||
[68cd1ce] | 54 | Declaration of x: extern type |
55 | Declaration of y: extern type | |
[5f2f2d7] | 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) | |
[51b7345] | 61 | |
62 | ||
63 |
Note: See TracBrowser
for help on using the repository browser.