source:
tests/context.cfa
@
9504a89
Last change on this file since 9504a89 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.