source: translator/sum.c @ 51b7345

// "./cfa -g sum.c"
// "./cfa -CFA sum.c > sum_out.c"
// "gcc32 -g sum_out.c LibCfa/libcfa.a"

extern "C" {
  int printf( const char *, ... );
}

context sumable( type T ) {
    const T 0;
    T ?+?(T, T);
    T ?++(T*);
    [T] ?+=?(T*,T);
};

forall( type T | sumable( T ) )
    T sum( int n, T a[] ) {
        T total = 0;
        int i;
        for ( i = 0; i < n; i += 1 )
            total = total + a[i];
        return total;
    }

int
main()
{
  int a[ 10 ];
  int i;
  for( i = 0; i < 10; ++i ) {
    a[ i ] = i;
  }
  printf( "the sum is %d\n", sum( 10, a ) );
  return 0;
}