source: tests/typeGenerator.cfa @ a2dbcff1

context addable( otype T ) {
        T ?+?( T,T );
        T ?=?( T*, T);
};

otype List1( otype T | addable( T ) ) = struct { T data; List1( T ) *next; } *;
typedef List1( int ) ListOfIntegers;
//List1( int ) li;
ListOfIntegers li;
int f( List1( int ) ( (*g ))( int ) );
[int] h( * List1( int ) p );                                                    // new declaration syntax

struct( otype T ) S2 { T i; };                                                  // actual definition
struct( int ) S3 v1, *p;                                                                // expansion and instantiation
struct( otype T )( int ) S24 { T i; } v2;                               // actual definition, expansion and instantiation
struct( otype T )( int ) { T i; } v2;                                   // anonymous actual definition, expansion and instantiation

struct( otype T | addable( T ) ) node { T data; struct( T ) node *next; };
otype List( otype T ) = struct( T ) node *;
List( int ) my_list;

otype Complex | addable( Complex );

int main() {
        (struct( int ) node)my_list;
}

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