source: translator/examples/simple.c @ 02e9ae2

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 02e9ae2 was a0d9f94, checked in by Peter A. Buhr <pabuhr@…>, 10 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.