// // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo // // The contents of this file are covered under the licence agreement in the // file "LICENCE" distributed with Cforall. // // simplePoly.c -- // // Author : Richard C. Bilson // Created On : Wed May 27 17:56:53 2015 // Last Modified By : Peter A. Buhr // Last Modified On : Tue Mar 8 22:06:41 2016 // Update Count : 3 // forall( T, U | { T f( T, U ); } ) T q( T t, U u ) { return f( t, u ); // return t; } int f( int, double* ); void g( void ) { int y; double x; // if ( y ) q( 3, &x ); } // Local Variables: // // tab-width: 4 // // compile-command: "cfa simplePoly.c" // // End: //