source: src/Tests/Quad.c @ ae4c85a

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since ae4c85a was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 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: 286 bytes
Line 
1int ?=?( int *, int );
2int ?*?( int, int );
3
4forall( type T | { T ?*?( T, T ); } )
5T square( T t ) {
6        return t * t;
7}
8
9forall( type U | { U square( U ); } )
10U quad( U u ) {
11        return square( square( u ) );
12}
13
14void f() {
15        quad( 7 );
16}
17
18// Local Variables: //
19// tab-width: 4 //
20// End: //
Note: See TracBrowser for help on using the repository browser.