source: tests/zombies/Members.c @ fd54fef

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since fd54fef was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 9 months ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

  • Property mode set to 100644
File size: 958 bytes
Line 
1char ?=?( char*, char );
2int ?=?( int*, int );
3float ?=?( float*, float );
4forall( DT & ) DT * ?=?( DT**, DT* );
5forall(T) lvalue T *?( T* );
6char *__builtin_memcpy();
7
8void a( char );
9void b( int );
10void c( int* );
11void d( float* );
12
13struct a_struct {
14        int a;
15        char a;
16        float a;
17};
18
19union b_struct {
20        int *a;
21        char *a;
22        float *a;
23};
24
25void f() {
26        struct a_struct the_struct;
27        union b_struct the_struct;
28 
29        a( the_struct.a );
30        b( the_struct.a );
31        c( the_struct.a );
32        d( the_struct.a );
33}
34
35struct c_struct {
36        int;
37        char;
38        float;
39};
40
41union d_struct {
42        int*;
43        char*;
44        float*;
45};
46
47void g() {
48        unsigned short x;
49        struct c_struct x;
50        union d_struct x;
51 
52        a( x ); // the 'a' and 'b' calls resolve to the ushort
53        b( x ); // it's debatable whether this is good
54        c( x );
55        d( x );
56}
57
58// make sure that forward declarations work
59
60struct forward;
61
62struct forward *q;
63
64struct forward { int y; };
65
66void h() {
67        q->y;
68}
69
70// Local Variables: //
71// tab-width: 4 //
72// End: //
Note: See TracBrowser for help on using the repository browser.