Changeset 223a633 for tests/nested-types.cfa

Timestamp:

Oct 15, 2020, 3:41:38 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b9537e6

Parents:

33c3ded (diff), 0b18db7 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/nested-types.cfa (modified) (2 diffs)

tests/nested-types.cfa

@@ -10 +10 @@
 // Created On       : Mon Jul 9 10:20:03 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Feb 12 18:21:15 2020
-// Update Count     : 3
+// Last Modified On : Sun Sep 27 08:48:59 2020
+// Update Count     : 6
 //
 
 typedef int N;
 struct A {
-  forall(otype T)
-  struct N {
-    T x;
-  };
+        forall(otype T)
+        struct N {
+                T x;
+        };
 };
 
 struct S {
-  struct T {
-    int i;
-    typedef int Bar;
-  };
-  T x;
+        struct T {
+                int i;
+                typedef int Bar;
+        };
+        T x;
 
-  // struct U;
-  typedef T Bar;
-  typedef int Baz;
+        // struct U;
+        typedef T Bar;
+        typedef int Baz;
 };
 
@@ -65 +65 @@
 
 int main() {
-  // access nested struct
-  S.T x;
+        // access nested struct
+        S.T x;
 
-  {
-    struct S {
-      int i;
-      struct Z {
-        double d;
-      };
-    };
+        {
+                struct S {
+                  int i;
+                  struct Z {
+                    double d;
+                  };
+                };
 
-    S.Z z;   // gets local S
-    .S.T y;  // lookup at global scope only
+                S.Z z;                                                                                  // gets local S
+                .S.T y;                                                                                 // lookup at global scope only
 
-    const volatile .S.T q;
+                const volatile .S.T q;
 #if ERR1
-    T err1;           // error: no T in scope
+                T err1;                                                                                 // error: no T in scope
 #endif
 #if ERR2
-    .Z err2;          // error: no Z in global scope
-    .S.Baz.Bar err3;  // error: .S.Baz => int, int is not aggregate and should not appear left of the dot
-    .S.Z err4;        // error: no Z in global S
+                .Z err2;                                                                                // error: no Z in global scope
+                .S.Baz.Bar err3;                                                                // error: .S.Baz => int, int is not aggregate and should not appear left of the dot
+                .S.Z err4;                                                                              // error: no Z in global S
 #endif
-  }
+        }
 
-  // U.S un;
+        // U.S un;
 
-  S.Bar y;
-  S.Baz x;
-  S.T.Bar z;
+        S.Bar y;
+        S.Baz x;
+        S.T.Bar z;
 
-  // A.N(int) x;  // xxx - should not be an error, but currently is.
+        // A.N(int) x;  // xxx - should not be an error, but currently is.
+
+        #pragma message( "Compiled" )                   // force non-empty .expect file
 }