source: src/Tests/TypeGenerator.c @ 4c82a3c

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

type List1( type 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( type T ) S2 { T i; };                                                   // actual definition
struct( int ) S3 v1, *p;                                                                // expansion and instantiation
struct( type T )( int ) S24 { T i; } v2;                                // actual definition, expansion and instantiation
struct( type T )( int ) { T i; } v2;                                    // anonymous actual definition, expansion and instantiation

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

type Complex | addable( Complex );

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

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