source:
src/Tests/Expect-v/Context.txt@
421edab
| Last change on this file since 421edab was 68cd1ce, checked in by , 10 years ago | |
|---|---|
|
|
| File size: 2.4 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 |
| [b1d6dd5] | 16 | ?=?: pointer to function |
| [5f2f2d7] | 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 | ||
| [b1d6dd5] | 23 | q: pointer to function |
| 24 | with parameters | |
| 25 | instance of type z (not function type) | |
| 26 | returning | |
| 27 | instance of type z (not function type) | |
| [51b73452] | 28 | |
| 29 | ||
| [5f2f2d7] | 30 | function |
| 31 | accepting unspecified arguments | |
| [51b73452] | 32 | returning |
| [b1d6dd5] | 33 | nothing |
| [51b73452] | 34 | with body |
| [5f2f2d7] | 35 | CompoundStmt |
| 36 | Declaration of context has_r | |
| [51b73452] | 37 | with parameters |
| [5f2f2d7] | 38 | T: type |
| 39 | U: type | |
| 40 | ||
| 41 | with members | |
| 42 | r: function | |
| 43 | with parameters | |
| 44 | instance of type T (not function type) | |
| [b1d6dd5] | 45 | pointer to function |
| [5f2f2d7] | 46 | with parameters |
| 47 | instance of type T (not function type) | |
| 48 | instance of type U (not function type) | |
| 49 | returning | |
| 50 | instance of type T (not function type) | |
| 51 | ||
| 52 | returning | |
| 53 | instance of type T (not function type) | |
| 54 | ||
| 55 | ||
| [68cd1ce] | 56 | Declaration of x: extern type |
| [b1d6dd5] | 57 | Declaration of ?=?: automatically generated function |
| 58 | with parameters | |
| 59 | _dst: pointer to instance of type x (not function type) | |
| 60 | _src: instance of type x (not function type) | |
| 61 | returning | |
| 62 | instance of type x (not function type) | |
| 63 | ||
| [68cd1ce] | 64 | Declaration of y: extern type |
| [5f2f2d7] | 65 | with assertions |
| 66 | instance of context has_r | |
| 67 | with parameters | |
| 68 | instance of type x (not function type) | |
| 69 | instance of type y (not function type) | |
| [51b73452] | 70 | |
| 71 | ||
| [b1d6dd5] | 72 | Declaration of ?=?: automatically generated function |
| 73 | with parameters | |
| 74 | _dst: pointer to instance of type y (not function type) | |
| 75 | _src: instance of type y (not function type) | |
| 76 | returning | |
| 77 | instance of type y (not function type) | |
| 78 | ||
| [51b73452] | 79 |
Note:
See TracBrowser
for help on using the repository browser.