source: src/examples/simplePoly.c@ 2bae7307

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since 2bae7307 was 843054c2, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

licencing: seventh groups of files

  • Property mode set to 100644
File size: 233 bytes
Line 
1// './cfa-cpp -nc < simplePoly.c'
2
3forall( type T, type U | { T f( T, U ); } )
4T q( T t, U u )
5{
6 return f( t, u );
7// return t;
8}
9
10int f( int, double* );
11
12void g( void ) {
13 int y;
14 double x;
15// if ( y )
16 q( 3, &x );
17}
Note: See TracBrowser for help on using the repository browser.