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
RevLine 
[a65d92e]1int ?=?( int *, int );
[51b7345]2int ?*?( int, int );
3
4forall( type T | { T ?*?( T, T ); } )
[a65d92e]5T square( T t ) {
6        return t * t;
[51b7345]7}
8
9forall( type U | { U square( U ); } )
[a65d92e]10U quad( U u ) {
11        return square( square( u ) );
[51b7345]12}
13
[a65d92e]14void f() {
15        quad( 7 );
[51b7345]16}
[a65d92e]17
18// Local Variables: //
19// tab-width: 4 //
20// End: //
Note: See TracBrowser for help on using the repository browser.