source: src/examples/nestedfunc.c@ c23f807

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

// Insertion sort on a, of length n
forall( type T | { int ?<?(T, T); } )
void sort( T *a, unsigned long n ) {
    if ( n <= 1 ) return;
        
    for ( unsigned long i = 1; i < n; i += 1 ) {
        T x; x = a[i];
        unsigned long j = i;
        for ( j; j > 0 && x < a[j-1]; j -= 1 ) {
            a[j] = a[j - 1];
        } // for
        a[j] = x;
    } // for
}

int main(void) {
    const int size = 4;
    int a[4] = { 0, 3, -2, 100 };
    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
        
    sort( a, size );
    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
    {
        // int ?<?(int, int) = ?>?;
        int ?<?( int a, int b ) { return a > b; }
        sort( a, size );
    }
    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
}