source:
tests/context.cfa
@
4487667
| Last change on this file since 4487667 was dc8511c, checked in by , 6 years ago | |
|---|---|
|
|
| File size: 271 bytes | |
| Rev | Line | |
|---|---|---|
| [a0dcd2e] | 1 | // trait declaration |
| [21eb693] | 2 | |
| [a0dcd2e] | 3 | trait has_q( otype T ) { |
| [62edde5] | 4 | T q( T ); |
| 5 | }; | |
| 6 | ||
| 7 | forall( otype z | has_q( z ) ) void f() { | |
| [a0dcd2e] | 8 | trait has_r( otype T, otype U ) { |
| [62edde5] | 9 | T r( T, T (T,U) ); |
| 10 | }; | |
| 11 | ||
| 12 | extern otype x, y | has_r( x, y ); | |
| 13 | } | |
| 14 | ||
| 15 | //Dummy main | |
| 16 | int main(int argc, char const *argv[]) | |
| 17 | { | |
| 18 | return 0; | |
| 19 | } |
Note: See TracBrowser
for help on using the repository browser.
