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

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 55ba733 was 55ba733, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

update keywords in test files

  • Property mode set to 100644
File size: 461 bytes
RevLine 
[51b7345]1int ?=?( int*, int );
2float ?=?( float*, float );
3double ?=?( double*, double );
4
[55ba733]5forall( otype T, otype U | { U f(T); } ) U g(T);
[51b7345]6float f( int );
7double f( int );
8void i( float );
9
[a65d92e]10void h() {
11        int a;
12        i( g( a ) );
[51b7345]13}
14
[55ba733]15context has_f_and_j( otype T, otype U ) {
[a65d92e]16        U f( T );
17        U j( T, U );
[51b7345]18};
19
20float j( int, float );
[55ba733]21forall( otype T, otype U | has_f_and_j( T, U ) ) U k( T );
[51b7345]22
[a65d92e]23void 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.