source: src/Tests/Quad.c@ 8243cf9

string
Last change on this file since 8243cf9 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 11 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
RevLine 
[a65d92e]1int ?=?( int *, int );
[51b73452]2int ?*?( int, int );
3
4forall( type T | { T ?*?( T, T ); } )
[a65d92e]5T square( T t ) {
6 return t * t;
[51b73452]7}
8
9forall( type U | { U square( U ); } )
[a65d92e]10U quad( U u ) {
11 return square( square( u ) );
[51b73452]12}
13
[a65d92e]14void f() {
15 quad( 7 );
[51b73452]16}
[a65d92e]17
18// Local Variables: //
19// tab-width: 4 //
20// End: //
Note: See TracBrowser for help on using the repository browser.