source:
src/Tests/InferParam.c
@
8243cf9
Last change on this file since 8243cf9 was b1d6dd5, checked in by , 9 years ago | |
---|---|
|
|
File size: 455 bytes |
Rev | Line | |
---|---|---|
[51b7345] | 1 | int ?=?( int*, int ); |
2 | float ?=?( float*, float ); | |
3 | double ?=?( double*, double ); | |
4 | ||
5 | forall( type T, type U | { U f(T); } ) U g(T); | |
6 | float f( int ); | |
7 | double f( int ); | |
8 | void i( float ); | |
9 | ||
[a65d92e] | 10 | void h() { |
11 | int a; | |
12 | i( g( a ) ); | |
[51b7345] | 13 | } |
14 | ||
[a65d92e] | 15 | context has_f_and_j( type T, type U ) { |
16 | U f( T ); | |
17 | U j( T, U ); | |
[51b7345] | 18 | }; |
19 | ||
20 | float j( int, float ); | |
21 | forall( type T, type U | has_f_and_j( T, U ) ) U k( T ); | |
22 | ||
[a65d92e] | 23 | void l() { |
24 | int b; | |
25 | i( k( b ) ); | |
[51b7345] | 26 | } |
[a65d92e] | 27 | |
28 | // Local Variables: // | |
29 | // tab-width: 4 // | |
30 | // End: // |
Note: See TracBrowser
for help on using the repository browser.