Changeset 68b52b0 for tests/forall.cfa

Timestamp:

Jun 23, 2021, 4:52:43 PM (3 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

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

Children:

6448f7d

Parents:

b680198

Message:

Implementing syntax forall( T * ) abbreviating forall( T & | sized(T) )

File:

• tests/forall.cfa (modified) (1 diff)

tests/forall.cfa

@@ -199 +199 @@
 }
 
+forall( T ) void check_otype() {
+        T & tr = *0p;
+        T * tp = 0p;
+
+        &tr += 1;
+        tp += 1;
+        T & tx = tp[1];
+
+        T t;
+        T t2 = t;
+}
+
+forall( T * ) void check_dstype() {
+        T & tr = *0p;
+        T * tp = 0p;
+
+        &tr += 1;
+        tp += 1;
+        T & tx = tp[1];
+}
+
+forall( T & ) void check_dtype() {
+        T & tr = *0p;
+        T * tp = 0p;
+}
+
 //otype T1 | { void xxx( T1 ); };