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