source: translator/examples/simple.c @ a0d9f94

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationresolv-newstringwith_gc
Last change on this file since a0d9f94 was a0d9f94, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

add compiler flag to driver, update examples, fix unnamed bit fields

  • Property mode set to 100644
File size: 320 bytes
Line 
1// './cfa square.c'
2
3extern "C" {
4    int printf( const char *fmt, ... );
5}
6
7context has_star( type T ) {
8    T ?*?( T, T );
9};
10
11int ?*?( int, int );
12int ?=?( int*, int );
13
14forall( type T | has_star( T ) )
15T square( T t ) {
16    return t * t;
17}
18
19int main() {
20    printf( "result of square of 5 is %d\n", square( 5 ) );
21}
Note: See TracBrowser for help on using the repository browser.