source: src/Tests/InferParam.c @ b1d6dd5

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newstringwith_gc
Last change on this file since b1d6dd5 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs

  • Property mode set to 100644
File size: 455 bytes
Line 
1int ?=?( int*, int );
2float ?=?( float*, float );
3double ?=?( double*, double );
4
5forall( type T, type U | { U f(T); } ) U g(T);
6float f( int );
7double f( int );
8void i( float );
9
10void h() {
11        int a;
12        i( g( a ) );
13}
14
15context has_f_and_j( type T, type U ) {
16        U f( T );
17        U j( T, U );
18};
19
20float j( int, float );
21forall( type T, type U | has_f_and_j( T, U ) ) U k( T );
22
23void l() {
24        int b;
25        i( k( b ) );
26}
27
28// Local Variables: //
29// tab-width: 4 //
30// End: //
Note: See TracBrowser for help on using the repository browser.