source: src/Tests/Scope.c@ 37f0da8

int x;
typedef double y;
typedef float t;
y z;
type u = struct { int a; double b; };
int f( int y );
y q;

y w( y y, u v ) {
        type x | { x t(u); };
        u u = y;
        x z = t(u);
}

y p;

context has_u( type z ) {
        z u(z);
};

forall( type t | has_u( t ) )
y q( t the_t ) {
        t y = u( the_t );
}

t f( y p ) {
        int y;
        typedef char x;
        {
                x y;
                typedef x z;
                {
                        z x;
                        typedef z y;
                        y z = x;
                }
                z x = y;
        }
        x q = y;
}

t g( void ) {
        typedef char x;
        try {
                some_func();
        } catch ( x x ) {
                t y = x;
        }
        x z;
}

y q( i )                                                                                                /* K&R style */
        int i;
{
        switch ( i ) {
                y q = i;
          case 0:
                return q;
          default:
                return i;
        }
}

// Local Variables: //
// tab-width: 4 //
// End: //