source: src/Tests/InferParam.c @ 55ba733

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

update keywords in test files

  • Property mode set to 100644
File size: 461 bytes
Line 
1int ?=?( int*, int );
2float ?=?( float*, float );
3double ?=?( double*, double );
4
5forall( otype T, otype 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( otype T, otype U ) {
16        U f( T );
17        U j( T, U );
18};
19
20float j( int, float );
21forall( otype T, otype 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.