source: src/Tests/ResolvExpr/Quad.c @ a65d92e

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 a65d92e was a65d92e, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

regression testing, second attempt

  • 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.